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
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)
This page was built for publication: Stochastic Real-Time Games with Qualitative Timed Automata Objectives