Yaron Velner
From MaRDI portal
Person:2164235
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 | 2021-08-04 | Paper |
| Visibly pushdown modular games | 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 | 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 | 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
