L’article «Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives», coécrit par Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Perez et Pierre Vandenhove, a reçu un prix du meilleur article lors de la 39e conférence annuelle AAAI sur l’intelligence artificielle (AAAI 2025), la plus grande conférence mondiale en intelligence artificielle. Seuls trois articles ont reçu cette distinction parmi environ 3000 articles acceptés et près de 12 000 soumis !
![[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}