We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On timed alternating simulation for concurrent timed games.
- Authors
Bozzelli, Laura; Legay, Axel; Pinchinat, Sophie
- Abstract
We address the problem of alternating simulation refinement for concurrent timed games ( TG). We show that checking timed alternating simulation between TG is E XPTIME-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 E XPTIME.
- Subjects
GAME theory; SIMULATION methods &; models; MATHEMATICAL models; LOGIC; BLOCKING sets; SET theory
- Publication
Acta Informatica, 2012, Vol 49, Issue 4, p249
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-012-0158-y