Expected Reachability-Time Games
From MaRDI portal
Publication:3588088
DOI10.1007/978-3-642-15297-9_11zbMath1290.68073MaRDI 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
68Q25: Analysis of algorithms and problem complexity
91A05: 2-person games
91A80: Applications of game theory
68Q45: Formal languages and automata
Related Items
Expected reachability-time games, Quantitative verification and strategy synthesis for stochastic games, Verification and Control of Probabilistic Rectangular Hybrid Automata