Belly, M.; Fijalkow, N.; Gimbert, H.; Horn, F.; Pérez, G. A.; Vandenhove, P. Revelations: A Decidable Class of POMDPs With Omega-Regular Objectives. AAAI 2025, 39, 26454-26462.