Yaron Velner
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 (available as arXiv preprint) | 2021-08-04 | Paper |
| Visibly pushdown modular games | 2021-06-24 | Paper |
| Visibly pushdown modular games (available as arXiv preprint) | 2021-06-24 | Paper |
| Some complexity results for stateful network verification Formal Methods in System Design | 2019-11-18 | Paper |
| Quantitative analysis of smart contracts (available as arXiv preprint) | 2019-09-13 | Paper |
| The complexity of mean-payoff pushdown games Journal of the ACM | 2018-05-17 | Paper |
| Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis (available as arXiv preprint) | 2018-03-21 | Paper |
| Hyperplane separation technique for multidimensional mean-payoff games Journal of Computer and System Sciences | 2017-06-30 | Paper |
| Mean-payoff pushdown games 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Quantitative fair simulation games Information and Computation | 2017-05-12 | Paper |
| Visibly pushdown modular games Information and Computation | 2017-03-16 | Paper |
| Quantitative interprocedural analysis Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Robust multidimensional mean-payoff games are undecidable Lecture Notes in Computer Science | 2015-10-01 | Paper |
| The complexity of multi-mean-payoff and multi-energy games Information and Computation | 2015-05-04 | Paper |
| Hyperplane Separation Technique for Multidimensional Mean-Payoff Games CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
| The complexity of infinitely repeated alternating move games Automata, Languages, and Programming | 2013-08-06 | Paper |
| The Complexity of Mean-Payoff Automaton Expression Automata, Languages, and Programming | 2012-11-01 | Paper |
| Church synthesis problem for noisy input Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Research outcomes over time
This page was built for person: Yaron Velner
