Pierre Vandenhove

Talks

• 2024:
  • The Decisiveness Property for Decidable Classes of Stochastic Systems, Liverpool Verification Seminar, 29/02, Liverpool, UK. [slides]
• 2023:
  • Characterizing Omega-Regularity through Strategy Complexity of Zero-Sum Games, Young Scholar Day of the Belgian Mathematical Society, 20/12, Brussels, Belgium. [slides]
  • Strategy Complexity of Zero-Sum Games on Graphs, Links' Team Seminar, 24/11, Lille, France. [slides]
  • Strategy Complexity of Zero-Sum Games on Graphs, MoVe Seminar, 09/11, Marseille, France. [slides]
  • How to Play Optimally for Regular Objectives?, Highlights 2023 of Logic, Games and Automata, 25/07, Kassel, Germany. [slides]
  • How to Play Optimally for Regular Objectives?, ICALP 2023: 50th EATCS International Colloquium on Automata, Languages and Programming, 11/07, Paderborn, Germany. [slides]
  • Strategy Complexity of Zero-Sum Games on Graphs, Liverpool Verification Seminar, 03/07, Liverpool, UK. [slides]
  • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, STIC doctoral day on the Saclay plateau, 20/06, Gif-sur-Yvette, France. [slides]
  • Strategy Complexity of Zero-Sum Games on Graphs, Seminar of IST Austria, 09/05, Vienna, Austria. [slides]
  • Strategy Complexity of Zero-Sum Games on Graphs, public thesis defense, 26/04, Mons, Belgium. [slides]
  • Strategy Complexity of Zero-Sum Games on Graphs, private thesis defense, 20/04, Mons, Belgium. [slides]
  • Strategy Complexity of Zero-Sum Games on Graphs (Thesis seminar), LMF Seminar, 14/03, Gif-sur-Yvette, France. [slides]
  • Memory Requirements of Omega-Regular Objectives: the Regular Case, LaBRI/MTV Seminar, 02/03, Bordeaux, France. [slides]
  • How to Play Optimally for Regular Objectives?, GT Informel CDS/MCS of the Laboratoire Méthodes Formelles, 17/02, Gif-sur-Yvette, France. [slides]
• 2022:
  • Memory Requirements of Omega-Regular Objectives: the Regular Case, UMONS Formal Methods Reading Group, 16/12, Mons, Belgium. [slides]
  • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, IRIF Automata Seminar, 28/10, Paris, France. [slides]
  • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, ULB Verif Seminar, 14/10, Brussels, Belgium. [slides]
  • Half-Positional Objectives Recognized by Deterministic Büchi Automata, CONCUR 2022: The 33rd International Conference on Concurrency Theory, 14/09, 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/08, Rennes, France. [slides]
  • Half-Positional Objectives Recognized by Deterministic Büchi Automata, Highlights 2022 of Logic, Games and Automata, 29/06, Paris, France. [slides]
  • Existence of memoryless optimal strategies through universal graphs [based on a LICS'22 paper], UMONS Formal Methods Reading Group, 02/06, Mons, Belgique.
  • Jeux pour l'informatique et complexité des stratégies, Séminaire Jeunes de l'UMONS, 21/04, Mons, Belgium. [slides]
  • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, Current Trends in Graph and Stochastic Games (GAMENET Workshop), 06/04, Maastricht, The Netherlands. [poster]
  • À vous de jouer ! (Popular science talk on game theory), Journées Math-Sciences, 24/03, Mons.
  • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, STACS 2022: 39th International Symposium on Theoretical Aspects of Computer Science, 17/03, Online. [slides]
  • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, LaBRI/LX seminar, 03/03, Bordeaux, France. [slides]
• 2021:
  • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, Journées du GT Vérif, 17/11, ENS Paris-Saclay, Gif-sur-Yvette, France. [slides]
  • Characterizing Omega-Regularity Through Strategy Complexity of Games on Infinite Graphs [Ongoing Work], UMONS Formal Methods Reading Group, 23/09, Mons, Belgique. [slides]
  • Arena-Independent Finite-Memory Determinacy, Highlights 2021 of Logic, Games and Automata, 15/09, Online. [slides]
  • Arena-Independent Finite-Memory Determinacy in Stochastic Games, CONCUR 2021: The 32nd International Conference on Concurrency Theory, 26/08, Online. [slides] [video]
  • Arena-Independent Finite-Memory Strategies, GT ALGA - Journées annuelles 2021, 17/06, Online. [slides]
  • Arena-Independent Finite-Memory Strategies, GT Model-Checking and Synthesis, LMF, Université Paris-Saclay, 23/04, Online. [slides]
• 2020:
  • Understanding Finite-Memory Determinacy, LMF Research Days, 09/12, Online. [slides] [poster]
  • Decisiveness of Stochastic Systems and its Application to Hybrid Models, 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), 22/09, Online. [slides] [video]
  • Games Where You Can Play Optimally with Arena-Independent Finite Memory, CONCUR 2020: The 31st International Conference on Concurrency Theory, 02/09, Online. [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/06, Online. [slides]
• 2019:
  • Reachability in Stochastic Hybrid Systems, Highlights 2019 of Logic, Games and Automata, 19/09, Warsaw, Poland. [slides]
  • Reachability in Stochastic Hybrid Systems, 13th International Conference on Reachability Problems (RP'19), 12/09, Brussels, Belgium. [slides]
  • Reachability in Infinite Markov Chains, Mardi des Chercheurs 2019, 05/03, Université de Mons, Mons, Belgium. [poster]