Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.

Martin Fränzle Christian Herde

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

hybrid systems
bounded model checking
intelligent systems
neural network
training data
semi supervised
computational intelligence
black box
machine learning
learning algorithm
artificial neural networks
distributed systems
search methods
soft computing
discrete event