Constraints for Continuous Reachability in the Verification of Hybrid Systems.

Stefan Ratschan Zhikun She

Published in: AISC (2006)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
neural network
computational intelligence
soft computing
artificial intelligence
discrete event
state space
semi supervised
temporal information