129
click to vote
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...