According to our database1, Mickael Randour authored at least 14 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Multi-weighted Markov Decision Processes with Reachability Objectives.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions.
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
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
Window parity games: an alternative approach toward parity games with time bounds.
Proceedings of the Seventh International Symposium on Games, 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
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
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs.
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 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
Looking at Mean-Payoff and Total-Payoff through Windows.
Proceedings of the Automated Technology for Verification and Analysis, 2013
Strategy Synthesis for Multi-Dimensional Quantitative Objectives.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012