@inproceedings{AK16,
author = {S. Almagor and O. Kupferman},
title = {High-Quality Synthesis Against Stochastic Environments},
booktitle = csl16,
pages = {28:1--28:17},
series = {LIPIcs},
volume = {62},
year = {2016}
}