Belly M, Fijalkow N, Gimbert H, Horn F, Pérez GA, Vandenhove P. Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 13];39(25):26454-62. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/34845