On timed alternating simulation for concurrent timed games
DOI10.1007/S00236-012-0158-YzbMATH Open1277.68165OpenAlexW1985744311MaRDI QIDQ715043FDOQ715043
Authors: Laura Bozzelli, Axel Legay, Sophie Pinchinat
Publication date: 15 October 2012
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2009/2309/
Recommendations
- On timed alternating simulation for concurrent timed games
- Simulation of concurrent games
- A turn-based approach for qualitative time concurrent games
- Timed Concurrent Game Structures
- Stochastic timed games revisited
- CONCUR 2005 – Concurrency Theory
- Model-Checking Timed ATL for Durational Concurrent Game Structures
- Efficient on-the-fly algorithm for checking alternating timed simulation
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- A game approach to determinize timed automata
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) (n)-person games, (n>2) (91A06) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A theory of timed automata
- Alternating-time temporal logic
- Model-checking in dense real-time
- Foundations of Software Science and Computation Structures
- “Sometimes” and “not never” revisited
- Title not available (Why is that?)
- Title not available (Why is that?)
- A complete axiomatisation for observational congruence of finite-state behaviours
- Timed Alternating-Time Temporal Logic
- Efficient on-the-fly algorithm for checking alternating timed simulation
- The element of surprise in timed games.
- Frontiers of Combining Systems
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- Timed Concurrent Game Structures
- Model Checking Probabilistic Timed Automata with One or Two Clocks
Cited In (6)
This page was built for publication: On timed alternating simulation for concurrent timed games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q715043)