Scientific meeting 2025
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!).
Best Paper Award at AAAI 2025
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…
Kick-off Meeting
A (first) kick-off meeting for the project took place on Thursday, November 23rd, 2023.
![[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}