Publications

Partial list on DBLP.

Invited papers in international peer-reviewed conferences (2)

  • Non-Zero Sum Games for Reactive Synthesis. Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas. Keynote lecture at LATA'16, LNCS 9618, 21 pages, Springer, 2016. On arXiv (21 pages).
  • Variations on the Stochastic Shortest Path Problem. Mickael Randour, Jean-François Raskin, Ocan Sankur. Keynote lecture at VMCAI'15, LNCS 8931, 18 pages, Springer, 2015. On arXiv (18 pages).

Peer-reviewed journals (5)

  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin. Information and Computation, volume 254, pages 259-295, Elsevier, 2017. Full version, 37 pages. On arXiv (45 pages).
  • Percentile Queries in Multi-Dimensional Markov Decision Processes. Mickael Randour, Jean-François Raskin, Ocan Sankur. Formal Methods in System Design, volume 50, issue 2, pages 207-248, Springer, 2017. Full version, 42 pages. On arXiv (35 pages).
  • Average-energy games. Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen. To appear in Acta Informatica, Springer. Full version, 40 pages, 2016. On arXiv (30 pages).
  • Looking at Mean-Payoff and Total-Payoff through Windows. Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin. Information and Computation, volume 242, pages 25-52, Elsevier, 2015. Full version, 28 pages. On arXiv (32 pages).
  • Strategy Synthesis for Multi-Dimensional Quantitative Objectives. Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin. Acta Informatica, volume 51, issue 3-4, pages 129-163, Springer, 2014. Full version, 35 pages. On arXiv (28 pages).

International peer-reviewed conference proceedings (11)

  • Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. Raphaël Berthon, Mickael Randour, Jean-François Raskin. ICALP'17, LIPIcs 80, 14 pages, Schloss Dagstuhl, 2017. Extended version on arXiv (26 pages).
  • Bounding Average-energy Games. Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann. FoSSaCS'17, LNCS 10203, 17 pages, Springer, 2017. Extended version on arXiv (22 pages).
  • Window parity games: an alternative approach toward parity games with time bounds. Véronique Bruyère, Quentin Hautem, Mickael Randour. GandALF'16, EPTCS 226, 14 pages, 2016. Extended version on arXiv (25 pages).
  • Reachability in Networks of Register Protocols under Stochastic Schedulers. Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan. ICALP'16, LIPIcs 55, 14 pages, Schloss Dagstuhl, 2016. Extended version on arXiv (20 pages).
  • Average-energy games. Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen. GandALF'15, EPTCS 193, 15 pages, 2015. Extended version on arXiv (30 pages).
  • Percentile Queries in Multi-Dimensional Markov Decision Processes. Mickael Randour, Jean-François Raskin, Ocan Sankur. CAV'15, LNCS 9206, 17 pages, Springer, 2015. Extended version on arXiv (35 pages).
  • Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin. SR'14, EPTCS 146, 8 pages, 2014. On arXiv (8 pages).
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin. STACS'14, LIPIcs 25, 15 pages, Schloss Dagstuhl, 2014. Extended version on arXiv (45 pages).
  • Looking at Mean-Payoff and Total-Payoff through Windows. Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin. ATVA'13, LNCS 8172, 15 pages, Springer, 2013. Extended version on arXiv (32 pages).
  • Strategy Synthesis for Multi-Dimensional Quantitative Objectives. Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin. CONCUR'12, LNCS 7454, 17 pages, Springer, 2012. Extended version on arXiv (27 pages).
  • Automated synthesis of reliable and efficient systems through game theory: a case study. Mickael Randour. ECCS'12, Springer Proceedings in Complexity XVII, 8 pages, Springer, 2013. On arXiv (8 pages).

International peer-reviewed conferences without proceedings (1)

  • Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games. Mickael Randour. GAMES 2016, the 5th World Congress of the Game Theory Society, 16 pages, 2016. On arXiv (16 pages).

Thesis

  • Synthesis in Multi-Criteria Quantitative Games. Mickael Randour. PhD thesis. Supervisors: V. Bruyère (UMONS) et J.-F. Raskin (ULB). Université de Mons (UMONS), 330 pages, 2014. Thesis.