Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives.

Marius Belly, Nathanal Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Prez, Pierre Vandenhove

Browse the full AAAI paper archive.