Talks

Invited talks (18)

2023

  • Half-Positional Objectives Recognized by Deterministic Büchi Automata, IJCAI 2023 --- Sister Conferences Best Papers Track, 24/08, Macao, China. [Slides]

2019

  • Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives, LSV working group, 22/11, Ecole Normale Supérieure de Paris-Saclay, Cachan, France. [Notes]
  • Rich behavioral models: illustration on journey planning, LSV seminar, 24/04, Ecole Normale Supérieure de Paris-Saclay, Cachan, France. [Slides]
  • Rich behavioral models: illustration on journey planning, GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, 14/03, Université de Mons, Mons, Belgium. [Slides]

2018

  • Rich behavioral models: illustration on journey planning, GT Vérif invited session, 29/05, Université Grenoble Alpes, Grenoble, France. [Slides]
  • Rich behavioral models: illustration on journey planning, verification seminar, 18/01, University of Oxford, Oxford, UK. [Slides]

2017

  • Rich behavioral models: illustration on journey planning, invited session talk, 13/09, HIGHLIGHTS 2017, Queen Mary University, London, UK. [Slides]
  • Rich behavioral models: illustration on journey planning and focus on multi-constraint percentile queries in Markov decision processes, Informatik Kolloquium, 20/03, RWTH Aachen, Aachen, Germany. [Slides]

2016

  • Reachability in Networks of Register Protocols under Stochastic Schedulers, IRISA - INRIA Rennes seminar, 07/04, IRISA - INRIA, Rennes, France. [Slides]

2015

  • Synthesis in Multi-Criteria Quantitative Games, Ackermann Award lecture, 11/09, CSL 2015, Berlin, Germany. [Slides]
  • Percentile Queries in Multi-Dimensional Markov Decision Processes, LACL seminar, 01/06, UPEC - Université Paris-Est Créteil Val-de-Marne, Créteil, France. [Slides]

2014

  • Planning a Journey in an Uncertain Environment: The Stochastic Shortest Path Problem Revisited, LIF seminar - MOVE research group, 11/12, Marseille, France. [Slides]
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, IST Austria seminar, 17/06, Vienna, Austria. [Slides]
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, GT Jeux, 24/01, Paris, France. [Slides]
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, LaBRI seminar, 16/01, Bordeaux, France. [Slides]

2013

  • Looking at Mean-Payoff and Total-Payoff through Windows, LIAFA seminar, 16/12, Université Paris Diderot - Paris 7, Paris, France. [Slides]
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, LSV seminar, 26/11, ENS Cachan, Cachan, France. [Slides]
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, Nord Pas de Calais / Belgium Congress of Mathematics, 28/10, Valenciennes, France. [Slides]

Other oral contributions: conferences, seminars, etc (42)

2022

  • Distances and refinement mechanisms in many-sided reactive synthesis, UMONS Formal Methods Reading Group, 27/01, Mons, Belgium.

2021

  • Games Where You Can Play Optimally With Finite Memory, FMAI 2021, 16/04, London, UK. [Slides]

2019

  • Games Where You Can Play Optimally With Finite Memory, GT ALGA annual meeting 2019, 10/10, Paris, France. [Slides]
  • Games Where You Can Play Optimally With Finite Memory, HIGHLIGHTS 2019, 18/09, Warsaw, Poland. [Slides]
  • Extending finite-memory determinacy by Boolean combination of winning conditions, RP 2019, 12/09, Brussels, Belgium. [Slides]
  • Extending finite-memory determinacy by Boolean combination of winning conditions, MoRe 2019 -- 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis, 22/06, Vancouver, Canada. [Slides]
  • Journey planning in uncertain environments, the multi-objective way, Complex Systems think tank, 15/01, Mons, Belgium. [Slides]

2018

  • Answering reachability problems in Markov decision processes using learning algorithms, L² meeting, 19/10, Mons, Belgium. [Notes]

2017

  • Bounding Average-Energy Games, FoSSaCS'17, 25/04, Uppsala, Sweden. [Slides]
  • Bounding Average-Energy Games, MFV seminar, 29/03, ULB, Brussels, Belgium. [Slides]

2016

  • Average-energy games, HIGHLIGHTS 2016, 09/09, Brussels, Belgium. [Slides]
  • Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games, GAMES 2016 - 5th World Congress of the Game Theory Society, 24/07, Maastricht, Netherlands. [Slides]
  • Reachability in Networks of Register Protocols under Stochastic Schedulers, MFV seminar, 19/05, ULB, Brussels, Belgium. [Slides]
  • Planning a journey in an uncertain environment: variations on the stochastic shortest path problem, INFORTECH Scientific Day, 21/04, UMONS, Mons, Belgium. [Slides]
  • Planning a journey in an uncertain environment, Modeling & Simulation Day - Energie and Complexys Institutes, 28/01, UMONS, Mons, Belgium. [Slides]

2015

  • Percentile Queries in Multi-Dimensional Markov Decision Processes, HIGHLIGHTS 2015, 16/09, Prague, Czech Republic. [Slides]
  • Percentile Queries in Multi-Dimensional Markov Decision Processes, CAV'15, 21/07, San Francisco, USA. [Slides]
  • Average-energy games, annual seminar of the LSV, 09/06, Dourdan, France. [Slides]
  • Average-energy games, 5th CASSTING meeting, 18/05, Brussels, Belgium. [Slides]
  • Planning a journey in an uncertain environment: variations on the stochastic shortest path problem, EDT Complex Meeting, 13/05, UNamur, Namur, Belgium. [Slides]
  • Average-energy games, ERC Workshop in Verification, 12/03, IST Austria, Vienna, Austria. [Slides]
  • Games with Window Quantitative Objectives, FFM 2015, 25/02, Aachen, Germany. [Slides]
  • Percentile Queries in Multi-Dimensional Markov Decision Processes, Dagstuhl seminar "Non-zero-sum games and control", 05/02, Dagstuhl, Germany. [Slides]
  • Percentile Queries in Multi-Dimensional Markov Decision Processes, CFV seminar, 23/01, Brussels, Belgium. [Slides]

2014

  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, HIGHLIGHTS 2014, 03/09, Paris, France. [Slides]
  • Synthesis in Multi-Criteria Quantitative Games, public PhD defense, 24/04, Mons, Belgium. [Slides (in french)]
  • Synthesis in Multi-Criteria Quantitative Games, private PhD defense, 18/04, Mons, Belgium. [Slides]
  • Expectations or Guarantees? I Want It All! A crossroad between games and MDPs, SR 2014, 05/04, Grenoble, France. [Slides]
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, STACS'14, 06/03, Lyon, France. [Slides]

2013

  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, FM&V seminar, 19/11, Brussels, Belgium. [Slides]
  • Looking at Mean-Payoff and Total-Payoff through Windows, ATVA'13, 16/10, Hanoi, Vietnam. [Slides]
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, CASSTING 2nd meeting, 01/10, Aalborg, Denmark. [Slides]
  • Looking at Mean-Payoff and Total-Payoff through Windows, HIGHLIGHTS conference, 20/09, Paris, France. [Slides]
  • Looking at Mean-Payoff and Total-Payoff through Windows, ERC Workshop on Quantitative Models, 09/05, Jerusalem, Israel. [Slides]
  • Looking at Mean-Payoff and Total-Payoff through Windows, CASSTING kick-off meeting, 12/04, Paris, France. [Slides]
  • Looking at Mean-Payoff and Total-Payoff through Windows, CFV seminar, 29/03, Brussels, Belgium. [Slides]
  • Looking at Mean-Payoff and Total-Payoff through Windows, FM&V seminar, 08/02, Brussels, Belgium.

2012

  • Strategy Synthesis for Multi-dimensional Quantitative Objectives, CONCUR'12, 04/09, Newcastle, United Kingdom. [Slides]
  • Automated synthesis of reliable and efficient systems through game theory: a case study, ECCS'12, 03/09, Brussels, Belgium. [Slides]
  • Strategy Synthesis for Multi-dimensional Quantitative Objectives, ERC Workshop on Synthesis, 08/06, Brussels, Belgium. [Slides]
  • Strategy Synthesis for Multi-dimensional Quantitative Objectives, FM&V seminar, 18/04, Brussels, Belgium. [Slides]

2011

  • Strategy Synthesis for Quantitative Objectives, GASICS Meeting, 30/11, Brussels, Belgium. [Slides]