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