papers
Publications (12)
cs.LO2014
Visibly Pushdown Modular Games
Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner
cs.GT2013
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games
Krishnendu Chatterjee, Yaron Velner
cs.GT2013
The Complexity of Infinitely Repeated Alternating Move Games
Yaron Velner
cs.LO2016
Mean-Payoff Pushdown Games
Krishnendu Chatterjee, Yaron Velner
cs.LO2014
Robust Multidimensional Mean-Payoff Games are Undecidable
Yaron Velner
cs.CR2018
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen +1
cs.PL2018
Quantitative Analysis of Smart Contracts
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
cs.GT2012
The Complexity of Multi-Mean-Payoff and Multi-Energy Games
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen +3
cs.LO2012
The Complexity of Mean-Payoff Automaton Expression
Yaron Velner
cs.FL2016
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis
Shaull Almagor, Orna Kupferman, Yaron Velner
cs.LO2014
Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives
Yaron Velner
cs.PL2018
Abstract Interpretation of Stateful Networks
Kalev Alpernas, Roman Manevich, Aurojit Panda +4