Stochastic Real-Time Games with Qualitative Timed Automata Objectives

DOI10.1007/978-3-642-15375-4_15zbMath1287.68124OpenAlexW1481037403MaRDI QIDQ3584931

Jan Krčál, Tomáš Brázdil, Vojtěch Řehák, Jan Křetínský, Antonín Kučera

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.9498

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Expected reachability-time games ⋮ Efficient CTMC Model Checking of Linear Real-Time Objectives

This page was built for publication: Stochastic Real-Time Games with Qualitative Timed Automata Objectives