Login / Signup

Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes.

Taha EntesariMahyar Fazlyab
Published in: CoRR (2022)
Keyphrases
  • neural network
  • reachability analysis
  • expert systems
  • computer systems
  • convex hull
  • adaptive systems
  • real time
  • distributed systems
  • model checking