Partially Observable MDPs: Revealing ones, and other decidable classes thereof (joint talk with Guillermo A. Pérez), ULB Verif Seminar, 12 Mar 2026, Brussels, Belgium. [slides]
From probabilistic automata to POMDPs: Making Optimal Decisions Under Uncertainty, Theoretical CS Seminar, Universiteit Antwerpen, 11 Mar 2026, Antwerp, Belgium. [slides]
The Decisiveness Property for Decidable Classes of Stochastic Systems, Liverpool Verification Seminar, 29 Feb 2024, Liverpool, UK. [slides]
Characterizing Omega-Regularity through Strategy Complexity of Zero-Sum Games, Young Scholar Day of the Belgian Mathematical Society, 20 Dec 2023, Brussels, Belgium. [slides]
Strategy Complexity of Zero-Sum Games on Graphs, Links' Team Seminar, 24 Nov 2023, Lille, France. [slides]
Strategy Complexity of Zero-Sum Games on Graphs, MoVe Seminar, 9 Nov 2023, Marseille, France. [slides]
Strategy Complexity of Zero-Sum Games on Graphs, Liverpool Verification Seminar, 3 July 2023, Liverpool, UK. [slides]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, STIC Doctoral Day on the Saclay plateau, 20 June 2023, Gif-sur-Yvette, France. [slides]
Strategy Complexity of Zero-Sum Games on Graphs, Seminar of IST Austria, 9 May 2023, Vienna, Austria. [slides]
Memory Requirements of Omega-Regular Objectives: the Regular Case, LaBRI/MTV Seminar, 2 Mar 2023, Bordeaux, France. [slides]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, IRIF Automata Seminar, 28 Oct 2022, Paris, France. [slides]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, ULB Verif Seminar, 14 Oct 2022, Brussels, Belgium. [slides]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, LaBRI/LX seminar, 3 Mar 2022, Bordeaux, France. [slides]
Conference talks
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives, AAAI 2025: The 39th Annual AAAI Conference on Artificial Intelligence, 2 Mar 2025, Philadelphia, PA, USA. [slides] [poster]
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives, Journées du GT Vérif, 20 Nov 2024, Lille, France. [slides]
Decidability of Omega-Regular Objectives for POMDPs with Revelations, Dagstuhl Seminar 24231: Stochastic Games, 4 June 2024, Dagstuhl, Germany. [slides]
How to Play Optimally for Regular Objectives?, Highlights 2023 of Logic, Games and Automata, 25 July 2023, Kassel, Germany. [slides]
How to Play Optimally for Regular Objectives?, ICALP 2023: 50th EATCS International Colloquium on Automata, Languages and Programming, 11 July 2023, Paderborn, Germany. [slides]
Half-Positional Objectives Recognized by Deterministic Büchi Automata, CONCUR 2022: The 33rd International Conference on Concurrency Theory, 14 Sept 2022, Warsaw, Poland. [slides]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, LAMAS and SR 2022: Logical Aspects in Multi-Agent Systems and Strategic Reasoning, 26 Aug 2022, Rennes, France. [slides]
Half-Positional Objectives Recognized by Deterministic Büchi Automata, Highlights 2022 of Logic, Games and Automata, 29 June 2022, Paris, France. [slides]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, Current Trends in Graph and Stochastic Games (GAMENET Workshop), 6 Apr 2022, Maastricht, The Netherlands. [poster]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, STACS 2022: 39th International Symposium on Theoretical Aspects of Computer Science, 17 Mar 2022, Virtual. [slides]
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, Journées du GT Vérif, 17 Nov 2021, ENS Paris-Saclay, Gif-sur-Yvette, France. [slides]
Arena-Independent Finite-Memory Determinacy, Highlights 2021 of Logic, Games and Automata, 15 Sept 2021, Virtual. [slides]
Arena-Independent Finite-Memory Determinacy in Stochastic Games, CONCUR 2021: The 32nd International Conference on Concurrency Theory, 26 Aug 2021, Virtual. [slides] [video]
Decisiveness of Stochastic Systems and Its Application to Hybrid Models, 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), 22 Sept 2020, Virtual. [slides] [video]
Games Where You Can Play Optimally with Arena-Independent Finite Memory, CONCUR 2020: The 31st International Conference on Concurrency Theory, 2 Sept 2020, Virtual. [slides] [video]
Games Where You Can Play Optimally with Arena-Independent Finite Memory, MOVEP 2020: 14th Summer School on Modelling and Verification of Parallel Processes, 22 June 2020, Virtual. [slides]
Reachability in Stochastic Hybrid Systems, Highlights 2019 of Logic, Games and Automata, 19 Sept 2019, Warsaw, Poland. [slides]
Reachability in Stochastic Hybrid Systems, 13th International Conference on Reachability Problems (RP 2019), 12 Sept 2019, Brussels, Belgium. [slides]
Local talks
Martingale Theory for the Average MDP Enjoyer, UMONS Formal Methods Reading Group, 1 Dec 2025, Mons, Belgium. [slides]
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives, INFORTECH Day 2025, 23 May 2025, Mons, Belgium. [slides]
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives, UMONS Formal Methods Reading Group, 7 Oct 2024, Mons, Belgium. [slides]
How to Play Optimally for Regular Objectives?, GT Informel CDS/MCS of the Laboratoire Méthodes Formelles, 17 Feb 2023, Gif-sur-Yvette, France. [slides]
Memory Requirements of Omega-Regular Objectives: the Regular Case, UMONS Formal Methods Reading Group, 16 Dec 2022, Mons, Belgium. [slides]
Existence of memoryless optimal strategies through universal graphs [based on a LICS'22 paper], UMONS Formal Methods Reading Group, 2 June 2022, Mons, Belgium.
Characterizing Omega-Regularity through Strategy Complexity of Games on Infinite Graphs [Ongoing Work], UMONS Formal Methods Reading Group, 23 Sept 2021, Mons, Belgium. [slides]
Understanding Finite-Memory Determinacy, LMF Research Days, 9 Dec 2020, Virtual. [slides] [poster]
Reachability in Infinite Markov Chains, Mardi des Chercheurs, 5 Mar 2019, Université de Mons, Mons, Belgium. [poster]
Thesis talks and defenses
Strategy Complexity of Zero-Sum Games on Graphs, public thesis defense, 26 Apr 2023, Mons, Belgium. [slides]
Strategy Complexity of Zero-Sum Games on Graphs, private thesis defense, 20 Apr 2023, Mons, Belgium. [slides]
Strategy Complexity of Zero-Sum Games on Graphs (Thesis seminar), LMF Seminar, 14 Mar 2023, Gif-sur-Yvette, France. [slides]
Popular science and outreach
Erreur détectée : Comment les ordinateurs réparent toutes nos erreurs (ou presque !), Popular science talk for secondary school students at Collège Notre-Dame de Tournai, 13 Oct 2025, Tournai, Belgium. [slides]
Strategy Complexity: How Much Does It Take to Win?, Brussels Summer School of Mathematics, 26 Aug 2025, Brussels, Belgium. [slides]
Erreur détectée : Comment les ordinateurs réparent toutes nos erreurs (ou presque !), Journées Math–Sciences 2025, 27–28 Mar 2025, Mons, Belgium. [slides]
Jeux pour l'informatique et complexité des stratégies, Séminaire Jeunes de l'UMONS, 21 Apr 2022, Mons, Belgium. [slides]
À vous de jouer !, Journées Math–Sciences, 24 Mar 2022, Mons, Belgium.
