Abstract
In this paper, we study energy and mean-payoff timed games. The decision problems that consist in determining the existence of winning strategies in those games are undecidable, and we thus provide semi-algorithms for solving these strategy synthesis problems. We then identify a large class of timed games for which our semi-algorithms terminate and are thus complete. We also study in detail the relation between mean-payoff and energy timed games. Finally, we provide a symbolic algorithm to solve energy timed games and demonstrate its use on small examples using HYTECH.
Original language | English |
---|---|
Title of host publication | Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control |
Place of Publication | New York |
Publisher | Association for Computing Machinery |
Pages | 283-292 |
Number of pages | 10 |
ISBN (Print) | 9781450327329 |
DOIs | |
Publication status | Published - 2014 |
Externally published | Yes |
Event | International Conference on Hybrid Systems: Computation and Control (17th : 2014) - Berlin, Germany Duration: 15 Apr 2014 → 17 Apr 2014 Conference number: 17th |
Conference
Conference | International Conference on Hybrid Systems: Computation and Control (17th : 2014) |
---|---|
Abbreviated title | HSCC'14 |
Country/Territory | Germany |
City | Berlin |
Period | 15/04/14 → 17/04/14 |