Nathanaël Fijalkow

2 papers in the IJCAI proceedings

IJCAI 2026

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives (Extended Abstract)

with Marius Belly, Hugo Gimbert, Florian Horn, Guillermo A. Perez, Pierre Vandenhove

doi:10.24963/ijcai.2026/916

Details PDF

IJCAI 2020

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic

with Bastien Maubert, Aniello Murano, Moshe Vardi

doi:10.24963/ijcai.2020/17

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings