Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mickael Randour
Map detail
Mickael Randour13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMickael RandourAMickael RandourResearcherAutomated synthesis of reliable and efficient systems through game theory: a case studyWAutomated synthesis of ...preprint / 2012Variations on the Stochastic Shortest Path ProblemWVariations on the Stoch...preprint / 2014Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player GamesWReconciling Rationality...preprint / 2016Timed Games with Bounded Window Parity ObjectivesWTimed Games with Bounde...preprint / 2022Strategy Synthesis for Multi-dimensional Quantitative ObjectivesWStrategy Synthesis for ...preprint / 2014Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)WDecisiveness of Stochas...preprint / 2022Expectations or Guarantees? I Want It All! A crossroad between games and MDPsWExpectations or Guarant...preprint / 2014Looking at Mean-Payoff and Total-Payoff through WindowsWLooking at Mean-Payoff ...preprint / 2014Average-energy gamesWAverage-energy gamespreprint / 2015Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesWMeet Your Expectations ...preprint / 2015Reachability in Networks of Register Protocols under Stochastic SchedulersWReachability in Network...preprint / 2016Average-energy games (full version)WAverage-energy games (f...preprint / 2016
Person12 links

Mickael Randour

Researcher