Yaron Velner

Available identifiers

Publication	Date of Publication	Type
Quantitative assume guarantee synthesis	2022-08-12	Paper
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies	2021-08-04	Paper
Visibly pushdown modular games	2021-06-24	Paper
Some complexity results for stateful network verification	2019-11-18	Paper
Quantitative analysis of smart contracts	2019-09-13	Paper
The complexity of mean-payoff pushdown games	2018-05-17	Paper
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives	2018-04-23	Paper
Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis	2018-03-21	Paper
Hyperplane separation technique for multidimensional mean-payoff games	2017-06-30	Paper
Mean-payoff pushdown games	2017-05-16	Paper
Quantitative fair simulation games	2017-05-12	Paper
Visibly pushdown modular games	2017-03-16	Paper
Quantitative interprocedural analysis	2016-09-29	Paper
Robust multidimensional mean-payoff games are undecidable	2015-10-01	Paper
The complexity of multi-mean-payoff and multi-energy games	2015-05-04	Paper
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games	2013-08-12	Paper
The complexity of infinitely repeated alternating move games	2013-08-06	Paper
The Complexity of Mean-Payoff Automaton Expression	2012-11-01	Paper
Church synthesis problem for noisy input	2011-05-19	Paper

This page was built for person: Yaron Velner