SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.

Qinsi Wang Paolo Zuliani Soonho Kong Sicun Gao Edmund M. Clarke

Published in: CMSB (2015)

Keyphrases

hybrid systems
discrete event
intelligent systems
black box
neural network
meta learning
computational intelligence
soft computing
dynamic systems
bayesian networks
artificial intelligence
state space
orders of magnitude
decision making
inductive learning
fuzzy logic
learning algorithm