Login / Signup
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.
Paolo Morettin
Andrea Passerini
Roberto Sebastiani
Published in:
IJCAI (2017)
Keyphrases
</>
high level
neural network
experimental data
probability distribution
computational model
statistical model
sensitivity analysis
formal model
decision making
multiscale
management system
process model
mathematical model
neural network model
simulation model