All news (since 2025)
- 14 June 2026 I have presented an invited paper at IJCAI 2026 (Sister Conferences Best Papers track): Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives, extended abstract of our AAAI-25 paper.
- 26 April 2026 The book Games on Graphs: from Logic and Automata to Algorithms has been published by Cambridge University Press. I co-authored Chapter 4 on Positionality and Memory.
- 16 April 2026 New paper published in TACAS 2026: LTL\(_f\) Learning Meets Boolean Set Cover.
- 30 August 2025 New paper published in Principles of Formal Quantitative Analysis: Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs.
- 27 February 2025 Outstanding Paper Award at AAAI-25 for our paper Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives.