Publication:4608660

DOI10.4230/LIPIcs.CONCUR.2016.9zbMath1392.68225arXiv1604.07064MaRDI QIDQ4608660

Orna Kupferman, Shaull Almagor, Yaron Velner

Publication date: 21 March 2018

Full work available at URL: https://arxiv.org/abs/1604.07064

zbMATH Keywords

sensing; mean-payoff games; stochastic synthesis; quantitative synthesis

Mathematics Subject Classification ID

91A43: Games involving graphs

68Q60: Specification and verification (program logics, model checking, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)