Sampling-based resolution-complete safety falsification of linear hybrid systems.

Amit Bhatia Emilio Frazzoli

Published in: CDC (2007)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
meta learning
artificial intelligence
soft computing
computational intelligence
discrete event
dynamic systems
artificial neural networks
model selection
prediction accuracy
inductive learning