5 citations · 11 across the 10 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
Robust Multidimensional Mean-Payoff Games are Undecidable
Yaron Velner
Mean-payoff games play a central role in quantitative synthesis and verification. In a single-dimensional game a weight is assigned to every transition and the objective of the pro…
cs.LO2014★ 1 cited
Visibly Pushdown Modular Games
Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner
Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of s…