ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems.

Fedor Shmarov Paolo Zuliani

Published in: HSCC (2015)

Keyphrases

hybrid systems
discrete event
black box
intelligent systems
soft computing
meta learning
neural network
artificial intelligence
computational intelligence
bayesian networks
machine learning
decision trees
state space
dynamic systems
life cycle