On timed alternating simulation for concurrent timed games - Université de Rennes Accéder directement au contenu
Article Dans Une Revue Acta Informatica Année : 2012

On timed alternating simulation for concurrent timed games

Laura Bozzelli
  • Fonction : Auteur
  • PersonId : 911812

Résumé

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 et versions

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

Identifiants

Citer

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⟩
145 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More