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…