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

Shaull Almagor Orna Kupferman Yaron Velner

Published in: CoRR (2016)

Keyphrases

expected cost
boolean constraints
global constraints
long run
cost function
success probability
inventory level
optimal strategy
small number
decision trees