Energy and mean-payoff timed games

Romain Brenguier, Franck Cassez, Jean-François Raskin

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

14 Citations (Scopus)


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 languageEnglish
Title of host publicationProceedings of the 17th International Conference on Hybrid Systems: Computation and Control
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Number of pages10
ISBN (Print)9781450327329
Publication statusPublished - 2014
Externally publishedYes
EventInternational Conference on Hybrid Systems: Computation and Control (17th : 2014) - Berlin, Germany
Duration: 15 Apr 201417 Apr 2014
Conference number: 17th


ConferenceInternational Conference on Hybrid Systems: Computation and Control (17th : 2014)
Abbreviated titleHSCC'14

Cite this