Benchmarks for Hybrid Systems Verification.

Ansgar Fehnker Franjo Ivancic

Published in: HSCC (2004)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
discrete event
meta learning
soft computing
computational intelligence
artificial intelligence
data mining
decision trees
supervised learning
metamodel