2 papers
cs.LO2025
A Zone-Based Algorithm for Timed Parity Games
Gilles Geeraerts, Frédéric Herbreteau, Jean-François Raskin +1
This paper revisits timed games by building upon the semantics introduced in "The Element of Surprise in Timed Games". We introduce some modifications to this semantics for two pri…
cs.GT2025
The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives
Véronique Bruyère, Jean-François Raskin, Alexis Reynouard +1
This paper studies the rational synthesis problem for multi-player games played on graphs when rational players are following subgame perfect equilibria. In these games, one player…