Expected reachability-price games

DOI10.1007/978-3-030-29662-9_17zbMATH Open1434.68253OpenAlexW4245010765MaRDI QIDQ2176709FDOQ2176709

Ashutosh Trivedi, Shibashis Guha

Publication date: 5 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29662-9_17

Recommendations

• Expected reachability-time games
• Expected reachability-time games
• Reachability in Stochastic Timed Games
• Stochastic games for verification of probabilistic timed automata
• Two-player reachability-price games on single-clock timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Applications of game theory (91A80)

Cited In (3)

• Stochastic games for verification of probabilistic timed automata
• Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
• Reachability in Stochastic Timed Games

This page was built for publication: Expected reachability-price games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2176709)