2 papers
cs.GT2026
Solving Qualitative Multi-Objective Stochastic Games
Moritz Graf, Anthony Lin, Rupak Majumdar
Many problems in compositional synthesis and verification of multi-agent systems -- such as rational verification and assume-guarantee verification in probabilistic systems -- redu…
cs.GT2024
Symbolic Computation of Sequential Equilibria
Moritz Graf, Thorsten Engesser, Bernhard Nebel
The sequential equilibrium is a standard solution concept for extensive-form games with imperfect information that includes an explicit representation of the players' beliefs. An a…