Talks
I have given 60 research talks in seminars and conferences, including 18 invited ones.
2024
- GT VérifControllers in Reactive Synthesis: A Strategic PerspectiveNov 2024GT Vérif, 2024/11/21, IRCICA, Lille, France.
2023
- IJCAIHalf-Positional Objectives Recognized by Deterministic Büchi AutomataAug 2023IJCAI 2023 — Sister Conferences Best Papers Track, 2023/08/24, Macao, China.
2022
- UMONSDistances and refinement mechanisms in many-sided reactive synthesisJan 2022UMONS Formal Methods Reading Group, 2022/01/27, Mons, Belgium.
2021
- FMAIGames Where You Can Play Optimally With Finite MemoryApr 2021FMAI 2021, 2021/04/16, London, UK.
2019
- ENS Paris-SaclayLife Is Random, Time Is Not: Markov Decision Processes with Window ObjectivesNov 2019LSV working group, 2019/11/22, Ecole Normale Supérieure de Paris-Saclay, Cachan, France.
- ENS Paris-SaclayRich behavioral models: illustration on journey planningApr 2019LSV seminar, 2019/04/24, Ecole Normale Supérieure de Paris-Saclay, Cachan, France.
- GAMENET WorkshopRich behavioral models: illustration on journey planningMar 2019GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, 2019/03/14, Université de Mons, Mons, Belgium.
- GT ALGAGames Where You Can Play Optimally With Finite MemoryOct 2019GT ALGA annual meeting 2019, 2019/10/10, Paris, France.
- HighlightsGames Where You Can Play Optimally With Finite MemorySep 2019HIGHLIGHTS 2019, 2019/09/18, Warsaw, Poland.
- RPExtending finite-memory determinacy by Boolean combination of winning conditionsSep 2019RP 2019, 2019/09/12, Brussels, Belgium.
- MoReExtending finite-memory determinacy by Boolean combination of winning conditionsJun 2019MoRe 2019 – 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis, 2019/06/22, Vancouver, Canada.
- Complex SystemsJourney planning in uncertain environments, the multi-objective wayJan 2019Complex Systems think tank, 2019/01/15, Mons, Belgium.
2018
- GT VérifRich behavioral models: illustration on journey planningMay 2018GT Vérif invited session, 2018/05/29, Université Grenoble Alpes, Grenoble, France.
- Oxford UniversityRich behavioral models: illustration on journey planningJan 2018Verification seminar, 2018/01/18, University of Oxford, Oxford, UK.
- L2 MeetingAnswering reachability problems in Markov decision processes using learning algorithmsOct 2018L2 meeting, 2018/10/19, Mons, Belgium.
2017
- HighlightsRich behavioral models: illustration on journey planningSep 2017Invited session talk, 2017/09/13, HIGHLIGHTS 2017, Queen Mary University, London, UK.
- RWTH AachenRich behavioral models: illustration on journey planning and focus on multi-constraint percentile queries in Markov decision processesMar 2017Informatik Kolloquium, 2017/03/20, RWTH Aachen, Aachen, Germany.
- FoSSaCS
- MFV – ULB
2016
- IRISA - INRIA RennesReachability in Networks of Register Protocols under Stochastic SchedulersApr 2016IRISA - INRIA Rennes seminar, 2016/04/07, IRISA - INRIA, Rennes, France.
- Highlights
- GAMESReconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player GamesJul 2016GAMES 2016 - 5th World Congress of the Game Theory Society, 2016/07/24, Maastricht, Netherlands.
- MFV – ULBReachability in Networks of Register Protocols under Stochastic SchedulersMay 2016MFV seminar, 2016/05/19, ULB, Brussels, Belgium.
- INFORTECHPlanning a journey in an uncertain environment: variations on the stochastic shortest path problemApr 2016INFORTECH Scientific Day, 2016/04/21, UMONS, Mons, Belgium.
- Energie & ComplexysPlanning a journey in an uncertain environmentJan 2016Modeling & Simulation Day - Energie and Complexys Institutes, 2016/01/28, UMONS, Mons, Belgium.
2015
- CSLSynthesis in Multi-Criteria Quantitative GamesSep 2015Ackermann Award lecture, 2015/09/11, CSL 2015, Berlin, Germany.
- LACL – UPECPercentile Queries in Multi-Dimensional Markov Decision ProcessesJun 2015LACL seminar, 2015/06/01, UPEC - Université Paris-Est Créteil Val-de-Marne, Créteil, France.
- HighlightsPercentile Queries in Multi-Dimensional Markov Decision ProcessesSep 2015HIGHLIGHTS 2015, 2015/09/16, Prague, Czech Republic.
- CAVPercentile Queries in Multi-Dimensional Markov Decision ProcessesJul 2015CAV’15, 2015/07/21, San Francisco, USA.
- ENS Cachan
- CASSTING
- EDT ComplexPlanning a journey in an uncertain environment: variations on the stochastic shortest path problemMay 2015EDT Complex Meeting, 2015/05/13, UNamur, Namur, Belgium.
- ERC WorkshopAverage-energy gamesMar 2015ERC Workshop in Verification, 2015/03/12, IST Austria, Vienna, Austria.
- FFM
- DagstuhlPercentile Queries in Multi-Dimensional Markov Decision ProcessesFeb 2015Dagstuhl seminar "Non-zero-sum games and control", 2015/02/05, Dagstuhl, Germany.
- CFVPercentile Queries in Multi-Dimensional Markov Decision ProcessesJan 2015CFV seminar, 2015/01/23, Brussels, Belgium.
2014
- LIF – AMUPlanning a Journey in an Uncertain Environment: The Stochastic Shortest Path Problem RevisitedDec 2014LIF seminar - MOVE research group, 2014/12/11, Marseille, France.
- IST AustriaMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesJun 2014IST Austria seminar, 2014/06/17, Vienna, Austria.
- GT JeuxMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesJan 2014GT Jeux, 2014/01/24, Paris, France.
- LaBRI – U. BordeauxMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesJan 2014LaBRI seminar, 2014/01/16, Bordeaux, France.
- HighlightsMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesSep 2014HIGHLIGHTS 2014, 2014/09/03, Paris, France.
- PhD defenseSynthesis in Multi-Criteria Quantitative GamesApr 2014Public PhD defense, 2014/04/24, Mons, Belgium.
- PhD defenseSynthesis in Multi-Criteria Quantitative GamesApr 2014Private PhD defense, 2014/04/18, Mons, Belgium.
- SRExpectations or Guarantees? I Want It All! A crossroad between games and MDPsApr 2014SR 2014, 2014/04/05, Grenoble, France.
- STACSMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesMar 2014STACS’14, 2014/03/06, Lyon, France.
2013
- LIAFALooking at Mean-Payoff and Total-Payoff through WindowsDec 2013LIAFA seminar, 2013/12/16, Université Paris Diderot - Paris 7, Paris, France.
- ENS CachanMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesNov 2013LSV seminar, 2013/11/26, ENS Cachan, Cachan, France.
- NPCB MathsMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesOct 2013Nord Pas de Calais / Belgium Congress of Mathematics, 2013/10/28, Valenciennes, France.
- MFV – ULBMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesNov 2013MFV seminar, 2013/11/19, Brussels, Belgium.
- ATVALooking at Mean-Payoff and Total-Payoff through WindowsOct 2013ATVA’13, 2013/10/16, Hanoi, Vietnam.
- CASSTINGMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesOct 2013CASSTING 2nd meeting, 2013/10/01, Aalborg, Denmark.
- HighlightsLooking at Mean-Payoff and Total-Payoff through WindowsSep 2013HIGHLIGHTS conference, 2013/09/20, Paris, France.
- ERC WorkshopLooking at Mean-Payoff and Total-Payoff through WindowsMay 2013ERC Workshop on Quantitative Models, 2013/05/09, Jerusalem, Israel.
- CASSTINGLooking at Mean-Payoff and Total-Payoff through WindowsApr 2013CASSTING kick-off meeting, 2013/04/12, Paris, France.
- CFVLooking at Mean-Payoff and Total-Payoff through WindowsMar 2013CFV seminar, 2013/03/29, Brussels, Belgium.
- MFV – ULBLooking at Mean-Payoff and Total-Payoff through WindowsFeb 2013MFV seminar, 2013/02/08, Brussels, Belgium.
2012
- CONCURStrategy Synthesis for Multi-dimensional Quantitative ObjectivesSep 2012CONCUR’12, 2012/09/04, Newcastle, United Kingdom.
- ECCSAutomated synthesis of reliable and efficient systems through game theory: a case studySep 2012ECCS’12, 2012/09/03, Brussels, Belgium.
- ERC WorkshopStrategy Synthesis for Multi-dimensional Quantitative ObjectivesJun 2012ERC Workshop on Synthesis, 2012/06/08, Brussels, Belgium.
- MFV – ULBStrategy Synthesis for Multi-dimensional Quantitative ObjectivesApr 2012MFV seminar, 2012/04/18, Brussels, Belgium.
2011
- GASICSStrategy Synthesis for Quantitative ObjectivesNov 2011GASICS Meeting, 2011/11/30, Brussels, Belgium.