On Timed Alternating Simulation for Concurrent Timed Games

DOI10.4230/LIPIcs.FSTTCS.2009.2309zbMath1248.68320OpenAlexW1506190616MaRDI QIDQ2920115

Laura Bozzelli, Sophie Pinchinat, Axel Legay

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

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

This page was built for publication: On Timed Alternating Simulation for Concurrent Timed Games