Efficient Synthesis with Probabilistic Constraints.

Samuel Drews Aws Albarghouthi Loris D'Antoni

Published in: CAV (1) (2019)

Keyphrases

probabilistic model
computationally expensive
artificial intelligence
bayesian networks
real time
computer vision
case study
data driven
generative model
lightweight
cost effective
information theoretic
constrained optimization
resource constraints
linear constraints