SMT Encoding of Hybrid Systems in dReal.

Kyungmin Bae Soonho Kong Sicun Gao

Published in: ARCH@CPSWeek (2015)

Keyphrases

hybrid systems
intelligent systems
black box
neural network
meta learning
artificial intelligence
discrete event
soft computing
computational intelligence
decision trees
search algorithm
feature space
artificial neural networks
learning experience
dynamic systems
workflow systems