Login / Signup
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