(English) Scientific meeting 2025
(English) On the 21th of January 2025, SAIF organized a scientific day. Each project member had the opportunity to present their work, have productive discussions on joint collaborations (and share a good meal!).
Prix du meilleur article à AAAI 2025
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…
(English) Kick-off Meeting
Désolé, cet article est seulement disponible en Anglais Américain.
![[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}