Skip to main content


Energy and mean payoff timed games


Romain Brenguier, Franck Cassez and Jean-Francois Raskin

Université Libre de Bruxelles




In this paper, we study energy and mean-payoff timed games. The decision problems that consist in determining the exis- tence 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 thus are 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.

BibTeX Entry

    publisher        = {ACM},
    doi              = {10.1145/2562059.2562116},
    author           = {Brenguier, Romain and Cassez, Franck and Raskin, Jean-Francois},
    month            = apr,
    editor           = {{Martin Fränzle, John Lygeros}},
    year             = {2014},
    title            = {Energy and Mean Payoff Timed Games},
    booktitle        = {Hybrid Systems: Computation and Control (HSCC)},
    pages            = {283--292},
    address          = {Germany}


Served by Apache on Linux on seL4.