( en | de | ru )

 

Disambiguation of "Velner, Yaron"

Author of the publication

copydeleteadd this publication to your clipboard
Quantitative Assume Guarantee Synthesis.

, , , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 353-374. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yaron Singer

Yaron Goldstein

Dieter Dan Yaron

Yaron Matras

Yaron Goldberg

 

Other publications of authors with the same name

The Complexity of Multi-Mean-Payoff and Multi-Energy Games, , , , , and . CoRR, (2012)Visibly Pushdown Modular Games., , and . GandALF, volume 161 of EPTCS, page 260-274. (2014)The Complexity of Infinitely Repeated Alternating Move Games.. ICALP (1), volume 7965 of Lecture Notes in Computer Science, page 816-827. Springer, (2013)SoK: Liquid Staking Tokens (LSTs)., , , and . CoRR, (2024)Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis., , and . CONCUR, volume 59 of LIPIcs, page 9:1-9:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Quantitative Analysis of Smart Contracts., , and . ESOP, volume 10801 of Lecture Notes in Computer Science, page 739-767. Springer, (2018)Robust Multidimensional Mean-Payoff Games are Undecidable.. FoSSaCS, volume 9034 of Lecture Notes in Computer Science, page 312-327. Springer, (2015)Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms. Tel Aviv University, Israel, (2015)Tel Aviv University Library.Quantitative Interprocedural Analysis., , and . POPL, page 539-551. ACM, (2015)Strategy Synthesis for Mean-Payoff Expression Objectives. CoRR, (2012)