Yaron Velner. Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms. PhD thesis, Tel Aviv University, Israel, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.