Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.

Shaull Almagor, Orna Kupferman, Yaron Velner

Browse the full CONCUR paper archive.