| 2026 | LICS | Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and Its Impact on Randomised Strategies. | James C. A. Main, Mickael Randour |
| 2025 | ICALP | Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs. | Michal Ajdarw, James C. A. Main, Petr Novotn, Mickael Randour |
| 2023 | ICALP | How to Play Optimally for Regular Objectives? | Patricia Bouyer, Nathanal Fijalkow, Mickael Randour, Pierre Vandenhove |
| 2023 | IJCAI | Half-Positional Objectives Recognized by Deterministic Bchi Automata (Extended Abstract). | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2022 | CONCUR | Half-Positional Objectives Recognized by Deterministic Bchi Automata. | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2022 | CONCUR | CONCUR Test-Of-Time Award 2022 (Invited Paper). | Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi |
| 2022 | CONCUR | Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory Assumptions. | James C. A. Main, Mickael Randour |
| 2022 | STACS | Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. | Patricia Bouyer, Mickael Randour, Pierre Vandenhove |
| 2021 | CONCUR | Arena-Independent Finite-Memory Determinacy in Stochastic Games. | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2021 | CONCUR | Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. | James C. A. Main, Mickael Randour, Jeremy Sproston |
| 2020 | CONCUR | Games Where You Can Play Optimally with Arena-Independent Finite Memory. | Patricia Bouyer, Stphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2020 | TACAS | Simple Strategies in Multi-Objective MDPs. | Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour |
| 2019 | CONCUR | Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives. | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour |
| 2019 | CONCUR | Energy Mean-Payoff Games. | Vronique Bruyre, Quentin Hautem, Mickael Randour, Jean-Franois Raskin |
| 2017 | FOSSACS | Bounding Average-Energy Games. | Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann |
| 2017 | ICALP | Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. | Raphal Berthon, Mickael Randour, Jean-Franois Raskin |
| 2016 | ICALP | Reachability in Networks of Register Protocols under Stochastic Schedulers. | Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan |
| 2016 | LATA | Non-Zero Sum Games for Reactive Synthesis. | Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Prez, Mickael Randour, Jean-Franois Raskin, Ocan Sankur, Mathieu Sassolas |
| 2015 | CAV | Percentile Queries in Multi-dimensional Markov Decision Processes. | Mickael Randour, Jean-Franois Raskin, Ocan Sankur |
| 2015 | VMCAI | Variations on the Stochastic Shortest Path Problem. | Mickael Randour, Jean-Franois Raskin, Ocan Sankur |
| 2014 | STACS | Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. | Vronique Bruyre, Emmanuel Filiot, Mickael Randour, Jean-Franois Raskin |
| 2013 | ATVA | Looking at Mean-Payoff and Total-Payoff through Windows. | Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-Franois Raskin |
| 2012 | CONCUR | Strategy Synthesis for Multi-Dimensional Quantitative Objectives. | Krishnendu Chatterjee, Mickael Randour, Jean-Franois Raskin |