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.
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]
- Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier, Pierre Vandenhove. Principles of Formal Quantitative Analysis (Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday), Lecture Notes in Computer Science 15760, Springer, 29 pages, 2025. [DOI] [Extended version 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 3000+ accepted papers).
- Positionality and Memory. Antonio Casares, Pierre Ohlmann, Pierre Vandenhove. Chapter 4 of book Games on Graphs: From Logic and Automata to Algorithms, coordinated by Nathanaël Fijalkow. Cambridge University Press, 2026. [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 past software projects 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.
- Introduction to Machine Learning and Data Science Lectures and practical sessions (about 60h / year).
- Data Structures I Lectures (about 24h / year).
- Operating Systems Lectures (taught twice annually, about 54h / year).