Verification-Integrated Falsification of non-Deterministic Hybrid Systems.

Stefan Ratschan Jan-Georg Smaus

Published in: ADHS (2006)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
meta learning
computational intelligence
soft computing
discrete event
artificial intelligence
data mining
business processes
test cases