@inproceedings{AKV16, author = {S. Almagor and O. Kupferman and Y. Velner}, title = {Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis}, booktitle = concur16, pages = {?}, series = {LIPIcs}, volume = {?}, year = {2016} }