Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. - Marius Belly; Nathanaël Fijalkow; Hugo Gimbert; Florian Horn 001; Guillermo A. Pérez 001; Pierre Vandenhove (AAAI, 2025)