Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives.

Yaron Velner Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives. 79:1-79:10 2014 CSL-LICS https://doi.org/10.1145/2603088.2603096 conf/csl/2014 db/conf/csl/csl2014.html#Velner14