18 citations · 100 across the 28 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.GT2012
Automated synthesis of reliable and efficient systems through game theory: a case study
Mickael Randour
Reactive computer systems bear inherent complexity due to continuous interactions with their environment. While this environment often proves to be uncontrollable, we still want to…
cs.GT2012★ 4 cited
Strategy Synthesis for Multi-dimensional Quantitative Objectives
Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
Multi-dimensional mean-payoff and energy games provide the mathematical foundation for the quantitative study of reactive systems, and play a central role in the emerging quantitat…