On timed alternating simulation for concurrent timed games

DOI10.1007/S00236-012-0158-YMaRDI QIDQ715043zbMATHOpenAlexFDO

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/

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 1512618 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A complete axiomatisation for observational congruence of finite-state behaviours
• A complete axiomatization of timed bisimulation for a class of timed regular behaviours
• A theory of timed automata
• Alternating-time temporal logic
• Efficient on-the-fly algorithm for checking alternating timed simulation
• Foundations of Software Science and Computation Structures
• Frontiers of Combining Systems
• Model Checking Probabilistic Timed Automata with One or Two Clocks
• Model-checking in dense real-time
• The element of surprise in timed games.
• Timed Alternating-Time Temporal Logic
• Timed Concurrent Game Structures
• “Sometimes” and “not never” revisited

Cited in

(6)

• Model-Checking Timed ATL for Durational Concurrent Game Structures
• Efficient on-the-fly algorithm for checking alternating timed simulation
• Timed Concurrent Game Structures
• Timed Alternating-Time Temporal Logic
• On timed alternating simulation for concurrent timed games
• CONCUR 2005 – Concurrency Theory

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)