3 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.GT2023
Concurrent Stochastic Lossy Channel Games
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin +1
Concurrent stochastic games are an important formalism for the rational verification of probabilistic multi-agent systems, which involves verifying whether a temporal logic propert…
cs.GT2023
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib +2
Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied…