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]