The Element of Surprise in Timed Games
Authors:
- 1 January 2003
- book chapter
- Published by Springer Nature
- p. 144-158
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- From verification to control: dynamic programs for omega-regular objectives2002
- Timed Interfaces2002
- Alternating-time temporal logicJournal of the ACM, 2002
- Symbolic Algorithms for Infinite-State Games2001
- Discrete-time control for rectangular hybrid automataTheoretical Computer Science, 1999
- Automating Modular Verification1999
- Rectangular Hybrid Games1999
- Modularity for timed and hybrid systems1997
- On the synthesis of discrete controllers for timed systems1995
- A theory of timed automataTheoretical Computer Science, 1994