Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Bchi Objectives.

Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah

Browse the full CAV paper archive.