Talks

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.

Poster sessions

2019
  • Games played on graph with quantitative reachability objectives. - Mardi des Chercheurs 2019, Mons, Belgium.

Popular scientific workshops

  • A vous de jouer!: Florent Delgrange, Aline Goeminne, Marion Hallet, Quentin Meurisse, Clément Tamines, Nathan Thomasset, Mickael Randour and Kévin Van Mieghem - Journées Math-Sciences 2019, Mons, Belgium.
  • A vous de jouer!: Aline Goeminne, Marion Hallet, Quentin Hautem and Mickael Randour - Journées Math-Sciences 2018, Mons, Belgium.