Showing cs.GTShow all
2 papers · 1 filter
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.GT2025
Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games
Jiarui Gan, Rupak Majumdar
We study the problem of computing optimal correlated equilibria (CEs) in infinite-horizon multi-player stochastic games, where correlation signals are provided over time. In this s…