Login / Signup
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.
Chao Huang
Xin Chen
Wang Lin
Zhengfeng Yang
Xuandong Li
Published in:
ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
</>
hybrid systems
discrete event
black box
meta learning
neural network
soft computing
artificial intelligence
intelligent systems
computational intelligence
bayesian networks
dynamic systems
access control
knowledge acquisition
semi supervised
search algorithm
e learning
machine learning