Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.

Martin Berz Kyoko Makino

Published in: NSV@CAV (2017)

Keyphrases

reachability analysis
probabilistic model
conceptual models
domain models
learning algorithm
domain specific
model selection
complex systems
process model