The SAIF Days 2026 took place on April 20-21, 2026 at CEA/List. Participants ANTIQUE, Inria Paris LaBRI, Université de Bordeaux LIX, Institut Polytechnique de Paris LMF, Université Paris-Saclay LSL, CEA-List Inria Rennes Others Schedule Monday, April 20th 10h00 – 11h00 Talk by Blaise Genest “Obtaining Safe Controllers: from Game Theory…
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…
A (first) kick-off meeting for the project took place on Thursday, November 23rd, 2023.