On timed alternating simulation for concurrent timed games - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Acta Informatica Year : 2012

On timed alternating simulation for concurrent timed games

Laura Bozzelli
  • Function : Author
  • PersonId : 911812

Abstract

We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and provide a logical characterization of this preorder in terms of a meaningful fragment of a new logic, TAMTL*. TAMTL* is an action-based timed extension of standard alternating-time temporal logic ATL*, which allows to quantify over strategies where the designated coalition of players is not responsible for blocking time. While for full TAMTL*, model-checking TG is undecidable, we show that for its fragment TAMTL, corresponding to the timed version of ATL, the problem is instead decidable and in EXPTIME.

Dates and versions

hal-01098747 , version 1 (29-12-2014)

Identifiers

Cite

Laura Bozzelli, Axel Legay, Sophie Pinchinat. On timed alternating simulation for concurrent timed games. Acta Informatica, 2012, Acta Informatica, 49 (4), pp.31. ⟨10.1007/s00236-012-0158-y⟩. ⟨hal-01098747⟩
143 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More