Mickael Randour

According to our database1, Mickael Randour
  • authored at least 29 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games.
Inf. Comput., 2017

Percentile queries in multi-dimensional Markov decision processes.
Formal Methods in System Design, 2017

Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes.
CoRR, 2017

Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Bounding Average-Energy Games.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016
Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games.
CoRR, 2016

Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version).
CoRR, 2016

Window parity games: an alternative approach toward parity games with time bounds.
Proceedings of the Seventh International Symposium on Games, 2016

Reachability in Networks of Register Protocols under Stochastic Schedulers.
CoRR, 2016

Bounding Average-energy Games.
CoRR, 2016

Non-Zero Sum Games for Reactive Synthesis.
Proceedings of the Language and Automata Theory and Applications, 2016

Reachability in Networks of Register Protocols under Stochastic Schedulers.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015
Looking at mean-payoff and total-payoff through windows.
Inf. Comput., 2015

Non-Zero Sum Games for Reactive Synthesis.
CoRR, 2015

Average-energy games (full version).
CoRR, 2015

Average-energy games.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Variations on the Stochastic Shortest Path Problem.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Percentile Queries in Multi-dimensional Markov Decision Processes.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Variations on the Stochastic Shortest Path Problem.
CoRR, 2014

Percentile Queries in Multi-Dimensional Markov Decision Processes.
CoRR, 2014

Expectations or Guarantees? I Want It All! A crossroad between games and MDPs.
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Strategy synthesis for multi-dimensional quantitative objectives.
Acta Inf., 2014

Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games.
Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014

2013
Looking at Mean-Payoff and Total-Payoff through Windows
CoRR, 2013

Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games.
CoRR, 2013

Looking at Mean-Payoff and Total-Payoff through Windows.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Automated synthesis of reliable and efficient systems through game theory: a case study
CoRR, 2012

Strategy Synthesis for Multi-dimensional Quantitative Objectives
CoRR, 2012

Strategy Synthesis for Multi-Dimensional Quantitative Objectives.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012


  Loading...