Belly, Marius

1 publications

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