Summary
Since September 2024, I have been a Premier Assistant (a Belgian research-and-teaching faculty position) in the Computer Science Department at UMONS – University of Mons, Belgium. My research interests are focused on logic in computer science, and more precisely on automata theory, game theory, formal verification, planning under uncertainty, and controller synthesis for reactive systems.
Prior to my current role, I was a postdoctoral researcher at LaBRI, Université de Bordeaux, where I collaborated with Nathanaël Fijalkow on the ANR G4S – Games for Synthesis project. My PhD was jointly supervised by Mickael Randour at UMONS and Patricia Bouyer at the Laboratoire Méthodes Formelles. I defended my thesis on April 26, 2023; see this page for more details.
News
- 14 June 2026 I will present 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.
- 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 2025 for our paper Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives.
Selected Publications
Here are a few selected publications. See also my full publication list, and my profiles on DBLP and Google Scholar .
- LTL\(_f\) Learning Meets Boolean Set Cover. Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove. 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026), Lecture Notes in Computer Science 16505, Springer, 22 pages, 2026. [DOI] [Extended version on arXiv]
- Positionality and Memory. Antonio Casares, Pierre Ohlmann, Pierre Vandenhove. Chapter 4 of the book Games on Graphs: From Logic and Automata to Algorithms, edited by Nathanaël Fijalkow. Cambridge University Press, pages 112–157, 2026. [Chapter DOI] [Book DOI] [On arXiv]
- Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove. 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025), 9 pages, 2025. [DOI] [Extended version on arXiv] Outstanding Paper Award (awarded to 3 papers out of 3,000+ accepted papers).
- Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. Patricia Bouyer, Mickael Randour, Pierre Vandenhove. TheoretiCS, volume 2, 48 pages, 2023. [DOI] [On arXiv]
Talks and events
You can find a full list of my academic talks and the events I attended on separate pages:
Software tools
Some software tools and code artifacts related to my research are listed on a dedicated software tools page.
Teaching
I currently teach the following courses. See my full teaching page for more details and past teaching activities. I also keep a list of students I have supervised.
- Introduction to Machine Learning and Data Science Lectures and practical sessions (about 60 h/year).
- Data Structures I Lectures (about 24 h/year).
- Operating Systems Lectures (taught twice annually, about 54 h/year).