Nathanaël Fijalkow

2
Papers
2
Total Citations

Papers (2)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives

AAAI 2025arXiv
2
citations

Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis

AAAI 2025
0
citations