GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems.

Hallstein Asheim Hansen Gerardo Schneider

Published in: ICTAC (2009)

Keyphrases

hybrid systems
soft computing
intelligent systems
black box
meta learning
discrete event
neural network
artificial intelligence
computational intelligence
training data
software engineering
search strategies