Mickael Randour

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