Mickael Randour

Identifiers

• name variant Mickael Randour 0.60 · backfill

Papers (17)

1. Energy mean-payoff games cs.GT · 2019 · author #3
2. Multi-weighted Markov Decision Processes with Reachability Objectives cs.LO · 2018 · author #4
3. Extending finite-memory determinacy by Boolean combination of winning conditions cs.GT · 2018 · author #3
4. Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes cs.LO · 2017 · author #2
5. Bounding Average-energy Games cs.LO · 2016 · author #4
6. Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version) cs.LO · 2016 · author #3
7. Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds cs.LO · 2016 · author #3
8. Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games cs.GT · 2016 · author #1
9. Reachability in Networks of Register Protocols under Stochastic Schedulers cs.LO · 2016 · author #3
10. Average-energy games (full version) cs.LO · 2015 · author #3
11. Non-Zero Sum Games for Reactive Synthesis cs.LO · 2015 · author #5
12. Variations on the Stochastic Shortest Path Problem cs.LO · 2014 · author #1
13. Percentile Queries in Multi-Dimensional Markov Decision Processes cs.LO · 2014 · author #1
14. Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games cs.GT · 2013 · author #3
15. Looking at Mean-Payoff and Total-Payoff through Windows cs.GT · 2013 · author #3
16. Automated synthesis of reliable and efficient systems through game theory: a case study cs.GT · 2012 · author #1
17. Strategy Synthesis for Multi-dimensional Quantitative Objectives cs.GT · 2012 · author #2

Mentions

• 1411.0835 #1 · backfill · confidence 0.70 Mickael Randour
• 1410.4801 #1 · backfill · confidence 0.70 Mickael Randour
• 1309.5439 #3 · backfill · confidence 0.70 Mickael Randour
• 1302.4248 #3 · backfill · confidence 0.70 Mickael Randour
• 1204.3283 #1 · backfill · confidence 0.70 Mickael Randour
• 1201.5073 #2 · backfill · confidence 0.70 Mickael Randour

Frequent Coauthors

• Jean-Fran\c{c}ois Raskin 8 shared papers
• Nicolas Markey 4 shared papers
• Patricia Bouyer 4 shared papers
• V\'eronique Bruy\`ere 4 shared papers
• Ocan Sankur 3 shared papers
• Quentin Hautem 3 shared papers
• Krishnendu Chatterjee 2 shared papers
• Arnaud Sangnier 1 shared papers
• Arno Pauly 1 shared papers
• Daniel Stan 1 shared papers
• Emmanuel Filiot 1 shared papers
• Guillermo A. P\'erez 1 shared papers
• Kim G. Larsen 1 shared papers
• Laurent Doyen 1 shared papers
• Lorenzo Clemente 1 shared papers
• Martin Zimmermann 1 shared papers
• Mathieu Sassolas 1 shared papers
• Mauricio Gonz\'alez 1 shared papers
• Paul Hunter 1 shared papers
• Piotr Hofman 1 shared papers