A Turn-Based Approach for Qualitative Time Concurrent Games
Authors:
- 16 June 2021
- book chapter
- Published by Springer Nature
- p. 76-92
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Logical time control of concurrent DESDiscrete Event Dynamic Systems, 2021
- SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes2019
- Concurrent reachability gamesTheoretical Computer Science, 2007
- Reachability-Time Games on Timed Automata2007
- UPPAAL-Tiga: Time for Playing Games!2007
- The Element of Surprise in Timed Games2003
- Symbolic Algorithms for Infinite-State Games2001
- On the synthesis of discrete controllers for timed systems1995
- Control of discrete event processes with forced events1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987