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