M. Belly, N. Fijalkow, H. Gimbert, F. Horn, G. A. Pérez, and P. Vandenhove, “Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives”, AAAI, vol. 39, no. 25, pp. 26454–26462, Apr. 2025.