Sign in
An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems.
Xian Li
Klaus Schneider
Published in:
SyDe Summer School (2015)
Keyphrases
</>
hybrid systems
meta learning
neural network
intelligent systems
black box
soft computing
computational intelligence
discrete event
genetic programming
life cycle