The SAIF paper “Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives“ co-authored by Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Perez, and Pierre Vandenhove received a best paper award at 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025), the world’s largest Artificial Intelligence conference. Only three papers received this award among ~3000 accepted and ~12000 submitted papers!
![[S]afe [AI] through [F]ormal Methods](https://project.inria.fr/saif/wp-content/plugins/gdpr-cookie-compliance/dist/images/gdpr-logo.png){kind=logo}