Login / Signup

Modular SMT-based analysis of nonlinear hybrid systems.

Kyungmin BaeSicun Gao
Published in: FMCAD (2017)
Keyphrases
  • hybrid systems
  • data analysis
  • artificial intelligence
  • neural network
  • training data
  • data management