Refining Abstractions of Hybrid Systems Using Counterexample Fragments.

Ansgar Fehnker Edmund M. Clarke Sumit Kumar Jha Bruce H. Krogh

Published in: HSCC (2005)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
meta learning
soft computing
discrete event
computational intelligence
artificial intelligence
dynamic systems
artificial neural networks
test set
learning tasks