On timed alternating simulation for concurrent timed games

DOI10.4230/LIPICS.FSTTCS.2009.2309MaRDI QIDQ2920115zbMATH OpenOpenAlexFDO

Authors Laura Bozzelli, Axel Legay, Sophie Pinchinat

Publication date 24 October 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_3a58.html

zbMATH Keywords

concurrent timed gamestimed alternating simulationtimed alternating temporal logics

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) (n)-person games, (n>2) (91A06) Temporal logic (03B44)

Recommendations

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

Cited in

(7)

• On timed alternating simulation for concurrent timed games
• Efficient on-the-fly algorithm for checking alternating timed simulation
• A unifying approach to decide relations for timed automata and their game characterization
• 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 Q2920115)