bibliographer - Yaron Velner

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis Shaull Almagor Orna Kupferman Yaron Velner [github]

Hyperplane Separation Technique for Multidimensional Mean-payoff Games Krishnendu Chatterjee Yaron Velner [github]

Church Synthesis Problem for Noisy Input Yaron Velner Alexander Rabinovich [github]

Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives Yaron Velner [github]

The Complexity of Infinitely Repeated Alternating Move Games Yaron Velner [github]

The Complexity of Multi-Mean-Payoff and Multi-Energy Games Yaron Velner Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Alexander Rabinovich Jean-Francois Raskin [github]

Hyperplane Separation Technique for Multidimensional Mean-Payoff Games Krishnendu Chatterjee Yaron Velner [github]

Mean-Payoff Pushdown Games Krishnendu Chatterjee Yaron Velner [github]

The Complexity of Infinitely Repeated Alternating Move Games Yaron Velner [github]

The complexity of multi-mean-payoff and multi-energy games Yaron Velner Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Alexander Rabinovich Jean-François Raskin [github]

Hyperplane separation technique for multidimensional mean-payoff games Krishnendu Chatterjee Yaron Velner [github]

Library Size: 13G (11 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]