Approximate probabilistic verification of hybrid systems.

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

Published in: CoRR (2014)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
soft computing
meta learning
artificial intelligence
computational intelligence
discrete event
bayesian networks
decision trees
orders of magnitude
search algorithm
artificial neural networks
evolutionary algorithm
evolutionary computation