Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.

Pranav Ashok, Toms Brzdil, Jan Kretnsk, Ondrej Slmecka

Browse the full ISoLA paper archive.