Talks

I have given 60 research talks in seminars and conferences, including 18 invited ones.

2023

  1. IJCAI
    Half-Positional Objectives Recognized by Deterministic Büchi Automata
    Mickael Randour
    Aug 2023
    IJCAI 2023 — Sister Conferences Best Papers Track, 2023/08/24, Macao, China.

2022

  1. UMONS
    Distances and refinement mechanisms in many-sided reactive synthesis
    Mickael Randour
    Jan 2022
    UMONS Formal Methods Reading Group, 2022/01/27, Mons, Belgium.

2021

  1. FMAI
    Games Where You Can Play Optimally With Finite Memory
    Mickael Randour
    Apr 2021
    FMAI 2021, 2021/04/16, London, UK.

2019

  1. ENS Paris-Saclay
    Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives
    Mickael Randour
    Nov 2019
    LSV working group, 2019/11/22, Ecole Normale Supérieure de Paris-Saclay, Cachan, France.
  2. ENS Paris-Saclay
    Rich behavioral models: illustration on journey planning
    Mickael Randour
    Apr 2019
    LSV seminar, 2019/04/24, Ecole Normale Supérieure de Paris-Saclay, Cachan, France.
  3. GAMENET Workshop
    Rich behavioral models: illustration on journey planning
    Mickael Randour
    Mar 2019
    GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, 2019/03/14, Université de Mons, Mons, Belgium.
  4. GT ALGA
    Games Where You Can Play Optimally With Finite Memory
    Mickael Randour
    Oct 2019
    GT ALGA annual meeting 2019, 2019/10/10, Paris, France.
  5. Highlights
    Games Where You Can Play Optimally With Finite Memory
    Mickael Randour
    Sep 2019
    HIGHLIGHTS 2019, 2019/09/18, Warsaw, Poland.
  6. RP
    Extending finite-memory determinacy by Boolean combination of winning conditions
    Mickael Randour
    Sep 2019
    RP 2019, 2019/09/12, Brussels, Belgium.
  7. MoRe
    Extending finite-memory determinacy by Boolean combination of winning conditions
    Mickael Randour
    Jun 2019
    MoRe 2019 – 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis, 2019/06/22, Vancouver, Canada.
  8. Complex Systems
    Journey planning in uncertain environments, the multi-objective way
    Mickael Randour
    Jan 2019
    Complex Systems think tank, 2019/01/15, Mons, Belgium.

2018

  1. GT Vérif
    Rich behavioral models: illustration on journey planning
    Mickael Randour
    May 2018
    GT Vérif invited session, 2018/05/29, Université Grenoble Alpes, Grenoble, France.
  2. Oxford University
    Rich behavioral models: illustration on journey planning
    Mickael Randour
    Jan 2018
    Verification seminar, 2018/01/18, University of Oxford, Oxford, UK.
  3. L2 Meeting
    Answering reachability problems in Markov decision processes using learning algorithms
    Mickael Randour
    Oct 2018
    L2 meeting, 2018/10/19, Mons, Belgium.

2017

  1. Highlights
    Rich behavioral models: illustration on journey planning
    Mickael Randour
    Sep 2017
    Invited session talk, 2017/09/13, HIGHLIGHTS 2017, Queen Mary University, London, UK.
  2. RWTH Aachen
    Rich behavioral models: illustration on journey planning and focus on multi-constraint percentile queries in Markov decision processes
    Mickael Randour
    Mar 2017
    Informatik Kolloquium, 2017/03/20, RWTH Aachen, Aachen, Germany.
  3. FoSSaCS
    Bounding Average-Energy Games
    Mickael Randour
    Apr 2017
    FoSSaCS’17, 2017/04/25, Uppsala, Sweden.
  4. MFV – ULB
    Bounding Average-Energy Games
    Mickael Randour
    Mar 2017
    MFV seminar, 2017/03/29, ULB, Brussels, Belgium.

2016

  1. IRISA - INRIA Rennes
    Reachability in Networks of Register Protocols under Stochastic Schedulers
    Mickael Randour
    Apr 2016
    IRISA - INRIA Rennes seminar, 2016/04/07, IRISA - INRIA, Rennes, France.
  2. Highlights
    Average-Energy Games
    Mickael Randour
    Sep 2016
    HIGHLIGHTS 2016, 2016/09/09, Brussels, Belgium.
  3. GAMES
    Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games
    Mickael Randour
    Jul 2016
    GAMES 2016 - 5th World Congress of the Game Theory Society, 2016/07/24, Maastricht, Netherlands.
  4. MFV – ULB
    Reachability in Networks of Register Protocols under Stochastic Schedulers
    Mickael Randour
    May 2016
    MFV seminar, 2016/05/19, ULB, Brussels, Belgium.
  5. INFORTECH
    Planning a journey in an uncertain environment: variations on the stochastic shortest path problem
    Mickael Randour
    Apr 2016
    INFORTECH Scientific Day, 2016/04/21, UMONS, Mons, Belgium.
  6. Energie & Complexys
    Planning a journey in an uncertain environment
    Mickael Randour
    Jan 2016
    Modeling & Simulation Day - Energie and Complexys Institutes, 2016/01/28, UMONS, Mons, Belgium.

2015

  1. CSL
    Synthesis in Multi-Criteria Quantitative Games
    Mickael Randour
    Sep 2015
    Ackermann Award lecture, 2015/09/11, CSL 2015, Berlin, Germany.
  2. LACL – UPEC
    Percentile Queries in Multi-Dimensional Markov Decision Processes
    Mickael Randour
    Jun 2015
    LACL seminar, 2015/06/01, UPEC - Université Paris-Est Créteil Val-de-Marne, Créteil, France.
  3. Highlights
    Percentile Queries in Multi-Dimensional Markov Decision Processes
    Mickael Randour
    Sep 2015
    HIGHLIGHTS 2015, 2015/09/16, Prague, Czech Republic.
  4. CAV
    Percentile Queries in Multi-Dimensional Markov Decision Processes
    Mickael Randour
    Jul 2015
    CAV’15, 2015/07/21, San Francisco, USA.
  5. ENS Cachan
    Average-energy games
    Mickael Randour
    Jun 2015
    Annual seminar of the LSV, 2015/06/09, Dourdan, France.
  6. CASSTING
    Average-energy games
    Mickael Randour
    May 2015
    5th CASSTING meeting, 2015/05/18, Brussels, Belgium.
  7. EDT Complex
    Planning a journey in an uncertain environment: variations on the stochastic shortest path problem
    Mickael Randour
    May 2015
    EDT Complex Meeting, 2015/05/13, UNamur, Namur, Belgium.
  8. ERC Workshop
    Average-energy games
    Mickael Randour
    Mar 2015
    ERC Workshop in Verification, 2015/03/12, IST Austria, Vienna, Austria.
  9. FFM
    Games with Window Quantitative Objectives
    Mickael Randour
    Feb 2015
    FFM 2015, 2015/02/25, Aachen, Germany.
  10. Dagstuhl
    Percentile Queries in Multi-Dimensional Markov Decision Processes
    Mickael Randour
    Feb 2015
    Dagstuhl seminar "Non-zero-sum games and control", 2015/02/05, Dagstuhl, Germany.
  11. CFV
    Percentile Queries in Multi-Dimensional Markov Decision Processes
    Mickael Randour
    Jan 2015
    CFV seminar, 2015/01/23, Brussels, Belgium.

2014

  1. LIF – AMU
    Planning a Journey in an Uncertain Environment: The Stochastic Shortest Path Problem Revisited
    Mickael Randour
    Dec 2014
    LIF seminar - MOVE research group, 2014/12/11, Marseille, France.
  2. IST Austria
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Jun 2014
    IST Austria seminar, 2014/06/17, Vienna, Austria.
  3. GT Jeux
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Jan 2014
    GT Jeux, 2014/01/24, Paris, France.
  4. LaBRI – U. Bordeaux
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Jan 2014
    LaBRI seminar, 2014/01/16, Bordeaux, France.
  5. Highlights
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Sep 2014
    HIGHLIGHTS 2014, 2014/09/03, Paris, France.
  6. PhD defense
    Synthesis in Multi-Criteria Quantitative Games
    Mickael Randour
    Apr 2014
    Public PhD defense, 2014/04/24, Mons, Belgium.
  7. PhD defense
    Synthesis in Multi-Criteria Quantitative Games
    Mickael Randour
    Apr 2014
    Private PhD defense, 2014/04/18, Mons, Belgium.
  8. SR
    Expectations or Guarantees? I Want It All! A crossroad between games and MDPs
    Mickael Randour
    Apr 2014
    SR 2014, 2014/04/05, Grenoble, France.
  9. STACS
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Mar 2014
    STACS’14, 2014/03/06, Lyon, France.

2013

  1. LIAFA
    Looking at Mean-Payoff and Total-Payoff through Windows
    Mickael Randour
    Dec 2013
    LIAFA seminar, 2013/12/16, Université Paris Diderot - Paris 7, Paris, France.
  2. ENS Cachan
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Nov 2013
    LSV seminar, 2013/11/26, ENS Cachan, Cachan, France.
  3. NPCB Maths
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Oct 2013
    Nord Pas de Calais / Belgium Congress of Mathematics, 2013/10/28, Valenciennes, France.
  4. MFV – ULB
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Nov 2013
    MFV seminar, 2013/11/19, Brussels, Belgium.
  5. ATVA
    Looking at Mean-Payoff and Total-Payoff through Windows
    Mickael Randour
    Oct 2013
    ATVA’13, 2013/10/16, Hanoi, Vietnam.
  6. CASSTING
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
    Mickael Randour
    Oct 2013
    CASSTING 2nd meeting, 2013/10/01, Aalborg, Denmark.
  7. Highlights
    Looking at Mean-Payoff and Total-Payoff through Windows
    Mickael Randour
    Sep 2013
    HIGHLIGHTS conference, 2013/09/20, Paris, France.
  8. ERC Workshop
    Looking at Mean-Payoff and Total-Payoff through Windows
    Mickael Randour
    May 2013
    ERC Workshop on Quantitative Models, 2013/05/09, Jerusalem, Israel.
  9. CASSTING
    Looking at Mean-Payoff and Total-Payoff through Windows
    Mickael Randour
    Apr 2013
    CASSTING kick-off meeting, 2013/04/12, Paris, France.
  10. CFV
    Looking at Mean-Payoff and Total-Payoff through Windows
    Mickael Randour
    Mar 2013
    CFV seminar, 2013/03/29, Brussels, Belgium.
  11. MFV – ULB
    Looking at Mean-Payoff and Total-Payoff through Windows
    Mickael Randour
    Feb 2013
    MFV seminar, 2013/02/08, Brussels, Belgium.

2012

  1. CONCUR
    Strategy Synthesis for Multi-dimensional Quantitative Objectives
    Mickael Randour
    Sep 2012
    CONCUR’12, 2012/09/04, Newcastle, United Kingdom.
  2. ECCS
    Automated synthesis of reliable and efficient systems through game theory: a case study
    Mickael Randour
    Sep 2012
    ECCS’12, 2012/09/03, Brussels, Belgium.
  3. ERC Workshop
    Strategy Synthesis for Multi-dimensional Quantitative Objectives
    Mickael Randour
    Jun 2012
    ERC Workshop on Synthesis, 2012/06/08, Brussels, Belgium.
  4. MFV – ULB
    Strategy Synthesis for Multi-dimensional Quantitative Objectives
    Mickael Randour
    Apr 2012
    MFV seminar, 2012/04/18, Brussels, Belgium.

2011

  1. GASICS
    Strategy Synthesis for Quantitative Objectives
    Mickael Randour
    Nov 2011
    GASICS Meeting, 2011/11/30, Brussels, Belgium.