Safety Verification for Probabilistic Hybrid Systems.

Lijun Zhang Zhikun She Stefan Ratschan Holger Hermanns Ernst Moritz Hahn

Published in: CAV (2010)

Keyphrases

hybrid systems
black box
intelligent systems
soft computing
computational intelligence
meta learning
discrete event
artificial intelligence
neural network
bayesian networks
evolutionary algorithm
genetic algorithm
reinforcement learning
artificial neural networks
fuzzy logic
data management