Mickael Randour

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 57

Top Topics

Stochastic Games

Nash Equilibria

Stochastic Systems

Markov Decision Processes

Top Venues

Publications

Patricia Bouyer, Mickael Randour, Pierre Vandenhove
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. TheoretiCS 2 (2023)
Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
Games on Graphs. CoRR (2023)
Thomas Brihaye, Aline Goeminne, James C. A. Main, Mickael Randour
Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk). FSTTCS (2023)
Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
How to Play Optimally for Regular Objectives? ICALP (2023)
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Arena-Independent Finite-Memory Determinacy in Stochastic Games. Log. Methods Comput. Sci. 19 (4) (2023)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract). IJCAI (2023)
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk). FSTTCS (2022)
James C. A. Main, Mickael Randour, Jeremy Sproston
Timed Games with Bounded Window Parity Objectives. FORMATS (2022)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata. CoRR (2022)
Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi
CONCUR Test-Of-Time Award 2022 (Invited Paper). CONCUR (2022)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata. CONCUR (2022)
James C. A. Main, Mickael Randour, Jeremy Sproston
Timed Games with Bounded Window Parity Objectives. CoRR (2022)
James C. A. Main, Mickael Randour
Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory Assumptions. CONCUR (2022)
Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
How to Play Optimally for Regular Objectives? CoRR (2022)
Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi
Interviews with the 2022 CONCUR Test-of-Time Award Recipients. Bull. EATCS 138 (2022)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Arena-Independent Finite Memory. Log. Methods Comput. Sci. 18 (1) (2022)
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. STACS (2022)
James C. A. Main, Mickael Randour
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions. CoRR (2022)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of stochastic systems and its application to hybrid models. Inf. Comput. 289 (Part) (2022)
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Arena-Independent Finite-Memory Determinacy in Stochastic Games. CONCUR (2021)
James C. A. Main, Mickael Randour, Jeremy Sproston
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. CONCUR (2021)
James C. A. Main, Mickael Randour, Jeremy Sproston
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. CoRR (2021)
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Arena-Independent Finite-Memory Determinacy in Stochastic Games. CoRR (2021)
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. CoRR (2021)
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour
Life is Random, Time is Not: Markov Decision Processes with Window Objectives. Log. Methods Comput. Sci. 16 (4) (2020)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Arena-Independent Finite Memory. CONCUR (2020)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of Stochastic Systems and its Application to Hybrid Models. GandALF (2020)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Finite Memory. CoRR (2020)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version). CoRR (2020)
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
Simple Strategies in Multi-Objective MDPs. TACAS (1) (2020)
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour
Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives. CONCUR (2019)
Véronique Bruyère, Quentin Hautem, Mickael Randour, Jean-François Raskin
Energy mean-payoff games. CoRR (2019)
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
Simple Strategies in Multi-Objective MDPs (Technical Report). CoRR (2019)
Véronique Bruyère, Quentin Hautem, Mickael Randour, Jean-François Raskin
Energy Mean-Payoff Games. CONCUR (2019)
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour
Life is Random, Time is Not: Markov Decision Processes with Window Objectives. CoRR (2019)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games. Acta Informatica 55 (2) (2018)
Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour
Multi-weighted Markov Decision Processes with Reachability Objectives. GandALF (2018)
Stéphane Le Roux, Arno Pauly, Mickael Randour
Extending finite-memory determinacy by Boolean combination of winning conditions. CoRR (2018)
Stéphane Le Roux, Arno Pauly, Mickael Randour
Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions. FSTTCS (2018)
Mickael Randour, Jean-François Raskin, Ocan Sankur
Percentile queries in multi-dimensional Markov decision processes. Formal Methods Syst. Des. 50 (2-3) (2017)
Raphaël Berthon, Mickael Randour, Jean-François Raskin
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. CoRR (2017)
Raphaël Berthon, Mickael Randour, Jean-François Raskin
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. ICALP (2017)
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
Bounding Average-Energy Games. FoSSaCS (2017)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. Inf. Comput. 254 (2017)
Mickael Randour
Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games. CoRR (2016)
Véronique Bruyère, Quentin Hautem, Mickael Randour
Window parity games: an alternative approach toward parity games with time bounds. GandALF (2016)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. LATA (2016)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP (2016)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR (2016)
Véronique Bruyère, Quentin Hautem, Mickael Randour
Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version). CoRR (2016)
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
Bounding Average-energy Games. CoRR (2016)
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Looking at mean-payoff and total-payoff through windows. Inf. Comput. 242 (2015)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. CoRR (2015)
Mickael Randour, Jean-François Raskin, Ocan Sankur
Percentile Queries in Multi-dimensional Markov Decision Processes. CAV (1) (2015)
Mickael Randour, Jean-François Raskin, Ocan Sankur
Variations on the Stochastic Shortest Path Problem. VMCAI (2015)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen
Average-energy games. GandALF (2015)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games (full version). CoRR (2015)
Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica 51 (3-4) (2014)
Mickael Randour, Jean-François Raskin, Ocan Sankur
Percentile Queries in Multi-Dimensional Markov Decision Processes. CoRR (2014)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. STACS (2014)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. SR (2014)
Mickael Randour, Jean-François Raskin, Ocan Sankur
Variations on the Stochastic Shortest Path Problem. CoRR (2014)
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Looking at Mean-Payoff and Total-Payoff through Windows. ATVA (2013)
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Looking at Mean-Payoff and Total-Payoff through Windows CoRR (2013)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. CoRR (2013)
Mickael Randour
Automated synthesis of reliable and efficient systems through game theory: a case study CoRR (2012)
Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
Strategy Synthesis for Multi-dimensional Quantitative Objectives CoRR (2012)
Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
Strategy Synthesis for Multi-Dimensional Quantitative Objectives. CONCUR (2012)