Sign in

Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT.

Nikola BenesLubos BrimJana DrazanováSamuel PastvaDavid Safránek
Published in: HSCC (2019)
Keyphrases
  • high level
  • statistical machine translation
  • data sets
  • neural network
  • probabilistic model
  • first order logic