TY  - RPRT
TI  - Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis
AU  - Shaull Almagor
AU  - Orna Kupferman
AU  - Yaron Velner
PY  - 2016
UR  - https://arxiv.org/abs/1604.07064
ID  - 1604.07064
ER  -