activity
20202026
most citedTools at the Frontiers of Quantitative Verification

2 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

eess.SY2020

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

Kush Grover, Jan Křetínský, Tobias Meggendorfer +1

We consider the problem of approximating the reachability probabilities in Markov decision processes (MDP) with uncountable (continuous) state and action spaces. While there are al…