Login / Signup

Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.

Jiaxu TianDapeng ZhiSi LiuPeixin WangGuy KatzMin Zhang
Published in: VMCAI (2) (2024)
Keyphrases
  • reachability analysis
  • training process
  • real time
  • neural network
  • management system
  • machine learning
  • complex systems