Reachability in Recursive Markov Decision Processes.

Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera

Browse the full CONCUR paper archive.