51 citations · 233 across the 33 of their papers we have counts for
Showing 2019 · eess.SYShow all
2 papers · 2 filters
eess.SY2019★ 28 cited
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
Pranav Ashok, Jan Křetínský, Kim Guldstrand Larsen +3
For hybrid Markov decision processes, UPPAAL Stratego can compute strategies that are safe for a given safety property and (in the limit) optimal for a given cost function. Unfortu…
eess.SY2019★ 51 cited
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Pranav Ashok, Jan Křetínský, Maximilian Weininger
Statistical model checking (SMC) is a technique for analysis of probabilistic systems that may be (partially) unknown. We present an SMC algorithm for (unbounded) reachability yiel…