18 citations · 100 across the 28 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.GT2013
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
Véronique Bruyère, Emmanuel Filiot, Mickael Randour +1
We extend the quantitative synthesis framework by going beyond the worst-case. On the one hand, classical analysis of two-player games involves an adversary (modeling the environme…
cs.GT2013★ 2 cited
Looking at Mean-Payoff and Total-Payoff through Windows
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour +1
We consider two-player games played on weighted directed graphs with mean-payoff and total-payoff objectives, two classical quantitative objectives. While for single-dimensional ga…