Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.

Toms Brzdil, Vojtech Forejt, Antonn Kucera

Browse the full ICALP paper archive.