Reachability-Time Games on Timed Automata
From MaRDI portal
Publication:5428863
DOI10.1007/978-3-540-73420-8_72zbMath1171.68528arXiv0907.3414MaRDI QIDQ5428863
Ashutosh Trivedi, Marcin Jurdziński
Publication date: 28 November 2007
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0907.3414
68Q25: Analysis of algorithms and problem complexity
91A80: Applications of game theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, A menagerie of timed automata, Symbolic Approximation of Weighted Timed Games, On Reachability Games of Ordinal Length, Timed Basic Parallel Processes, Optimal controller synthesis for timed systems, Expected reachability-time games, Automata-theoretic decision of timed games, Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems, A survey of timed automata for the development of real-time systems, On subgame perfect equilibria in turn-based reachability timed games, A turn-based approach for qualitative time concurrent games, Optimal Reachability in Divergent Weighted Timed Games, Concavely-Priced Timed Automata, Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets