A turn-based approach for qualitative time concurrent games
From MaRDI portal
Publication:2117153
DOI10.1007/978-3-030-76983-3_5zbMath1489.68160MaRDI QIDQ2117153
Didier Lime, Serge Haddad, Olivier H. Roux
Publication date: 21 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-76983-3_5
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software
Cites Work
- Unnamed Item
- Strategy improvement for concurrent reachability and turn-based stochastic safety games
- Logical time control of concurrent DES
- Concurrent reachability games
- Supervisory Control of a Class of Discrete Event Processes
- On the synthesis of strategies in infinite games
- On the synthesis of discrete controllers for timed systems
- Reachability-Time Games on Timed Automata
- CONCUR 2003 - Concurrency Theory