Belly, M. (2025) “Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(25), pp. 26454–26462. doi: 10.1609/aaai.v39i25.34845.