158
Voted
ATVA
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...