What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.

Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol

Browse the full CSL paper archive.