Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.

Toms Brzdil, Vojtech Forejt

Browse the full CONCUR paper archive.