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

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)

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)

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

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)