Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms - researchr publication

researchr

You are not signed in
Sign in
Sign up

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]

Abstract is missing.

runs on WebDSL