Composing Stability Proofs for Hybrid Systems.

Corina Mitrohin Andreas Podelski

Published in: FORMATS (2011)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
discrete event
neural network
soft computing
computational intelligence
artificial intelligence
data mining
machine learning
learning tasks