A turn-based approach for qualitative time concurrent games

DOI10.1007/978-3-030-76983-3_5zbMath1489.68160OpenAlexW3169429640MaRDI 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

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• UPPAAL TIGA

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

This page was built for publication: A turn-based approach for qualitative time concurrent games