Yaron Velner

Available identifiers

zbMath Open velner.yaronMaRDI QIDQ2164235

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q4995374	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
https://portal.mardi4nfdi.de/entity/Q4608660	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

Research outcomes over time

This page was built for person: Yaron Velner