Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis (27th International Conference on Concurrency Theory (CONCUR 2016), 2016)

(untitled) - Almagor, S; Kupferman, O; Velner, Y