2024

• Permissive Equilibria in Multiplayer Reachability Games, Highlights'24, Bordeaux, France.

2023

• Multi-weighted Reachability Games, RP'23, Nice, France. [Slides]
• A stroll with reachability games, MoVe seminars, Marseille, France. [Slides]
• Multi-Weighted Reachability Games - Highlights'23, Kassel, Germany. [Slides].

2022

• Non-Blind Strategies in Timed Network Congestion Games - FORMATS'22, Online.
• Timed network congestion games, ANR Ticktac meeting, Online.

2021

• [Invited talk] On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games - FORMATS'21, Online.

2020

• On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games - FORMATS'20, Online.
• On Relevant Equilibria in Reachability Games - "68NQRT", Rennes, France.

2019

• Multiplayer reachability games played on graphs - Grascomp Doctoral Day (GDD’19), Namur, Belgium.
• On Relevant Equilibria in Reachability Games - Highlights'19, Warsaw, Poland.
• On Relevant Equilibria in Reachability Games - RP'19, Bruxelles, Belgium. [Slides]
• The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games - CONCUR'19, Amsterdam, Netherlands. [Slides]
• The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games - Seminar of the Formal Methods and Verification group of the ULB, Bruxelles, Belgium.
• PSPACE algorithm for SPEs in quantitative reachability games - Centre Fédéré en Vérification seminars, Bruxelles, Belgium. [Slides]

2018

• Jeux sur graphe et objectifs d'atteignabilité - Séminaires jeunes, Mons, Belgium.
• Constrained existence problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives - GandALF'18, Saarbrücken, Germany.[Slides]
• Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives - Highlights'18, Berlin, Germany.
• Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives - MOVEP'18, Cachan, France.
• Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives - MoRe'18, Oxford, UK.
• Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives. - GT Verification'18, Grenoble, France.

2017

• Quand l'ordonnancement de tâches rencontre la vérification ... - Séminaires Infortech/Numédiart, UMONS, Mons, Belgium.