SMT-Based Verification of Hybrid Systems.

Alessandro Cimatti Sergio Mover Stefano Tonetta

Published in: AAAI (2012)

Keyphrases

hybrid systems
black box
meta learning
intelligent systems
neural network
computational intelligence
soft computing
discrete event
artificial intelligence
active learning
model selection
test set