Pré-Publication, Document De Travail Année : 2014

Energy and Mean-payoff Timed Games

Résumé

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 strat- egy 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 be- tween 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.

Fichier principal
Vignette du fichier
mainFull.pdf (512.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00943015 , version 1 (06-02-2014)

Licence

Identifiants

  • HAL Id : hal-00943015 , version 1

Citer

Romain Brenguier, Franck Cassez, Jean-François Raskin. Energy and Mean-payoff Timed Games. 2014. ⟨hal-00943015⟩
89 Consultations
371 Téléchargements

Partager

  • More