A Sound and Complete Proof Rule for Region Stability of Hybrid Systems.

Andreas Podelski Silke Wagner

Published in: HSCC (2007)

Keyphrases

hybrid systems
black box
intelligent systems
artificial intelligence
computational intelligence
neural network
meta learning
soft computing
discrete event
fuzzy logic
multi agent systems
artificial neural networks