Login / Signup
Modular SMT-based analysis of nonlinear hybrid systems.
Kyungmin Bae
Sicun Gao
Published in:
FMCAD (2017)
Keyphrases
</>
hybrid systems
data analysis
artificial intelligence
neural network
training data
data management