SPeeDI - A Verification Tool for Polygonal Hybrid Systems.

Eugene Asarin Gordon J. Pace Gerardo Schneider Sergio Yovine

Published in: CAV (2002)

Keyphrases

hybrid systems
meta learning
soft computing
discrete event
intelligent systems
black box
neural network
artificial intelligence
computational intelligence
decision making
artificial neural networks
active learning
multi class