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