5 citations · 11 across the 10 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012
Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives
Yaron Velner
Two-player games on graphs provide the mathematical foundation for the study of reactive systems. In the quantitative framework, an objective assigns a value to every play, and the…
cs.LO2012
Mean-Payoff Pushdown Games
Krishnendu Chatterjee, Yaron Velner
Two-player games on graphs is central in many problems in formal verification and program analysis such as synthesis and verification of open systems. In this work we consider solv…