Approximate Probabilistic Verification of Hybrid Systems.

Benjamin M. Gyori Bing Liu Soumya Paul R. Ramanathan P. S. Thiagarajan

Published in: HSB (2015)

Keyphrases

hybrid systems
black box
intelligent systems
artificial intelligence
meta learning
soft computing
computational intelligence
bayesian networks
neural network
discrete event
genetic algorithm
knowledge acquisition
machine learning algorithms
multi label
life cycle