Playing Games with Timed Games ★ , ★ ★

  title={Playing Games with Timed Games ★ , ★ ★},
  author={Thomas Chatain and Alexandre David and Kim G. Larsen},
In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability. We define a method to reduce the timed alternating simulation problem to a safety game. We show how timed alternating simulation can be used to control efficiently a… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
13 Citations
18 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…