Energy and Mean-payoff Timed Games - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Energy and Mean-payoff Timed Games

Romain Brenguier
  • Function : Author
  • PersonId : 952182
Franck Cassez
  • Function : Author
  • PersonId : 832503

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00943015 , version 1

Cite

Romain Brenguier, Franck Cassez, Jean-François Raskin. Energy and Mean-payoff Timed Games. 2014. ⟨hal-00943015⟩
48 View
213 Download

Share

Gmail Facebook Twitter LinkedIn More