TY  - RPRT
TI  - Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
AU  - Marius Belly
AU  - Nathanaël Fijalkow
AU  - Hugo Gimbert
AU  - Florian Horn
AU  - Guillermo A. Pérez
AU  - Pierre Vandenhove
PY  - 2024
UR  - https://arxiv.org/abs/2412.12063
ID  - 2412.12063
ER  -