Expected Reachability-Time Games

DOI10.1007/978-3-642-15297-9_11zbMath1290.68073OpenAlexW3031453538MaRDI QIDQ3588088

Vojtěch Forejt, Ashutosh Trivedi, Gethin Norman, Marta Kwiatkowska

Publication date: 10 September 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:0c887132-2027-4d95-ad0c-2a29acf5c9ab

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (3)

Expected reachability-time games ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata

This page was built for publication: Expected Reachability-Time Games