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

Shaull Almagor Orna Kupferman Yaron Velner

Published in: CONCUR (2016)

Keyphrases

expected cost
boolean constraints
global constraints
cost function
long run
optimal strategy
success probability
inventory level
data sets
boolean variables
small number
support vector
constraint satisfaction problems