Talks
2020
- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games - FORMATS'20, Online.
- On Relevant Equilibria in Reachability Games - "68NQRT", Rennes, France.
- 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]
- 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.
- 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.