Safety Verification for Probabilistic Hybrid Systems.

Lijun Zhang Zhikun She Stefan Ratschan Holger Hermanns Ernst Moritz Hahn

Published in: Eur. J. Control (2012)

Keyphrases

hybrid systems
neural network
black box
intelligent systems
artificial intelligence
soft computing
discrete event
meta learning
computational intelligence
machine learning
bayesian networks
simulation model