Case Study: Runtime Safety Verification of Neural Network Controlled System

Frank Yang, Sinong Simon Zhan, Yixuan Wang +2

Neural networks are increasingly used in safety-critical applications such as robotics and autonomous vehicles. However, the deployment of neural-network-controlled systems (NNCSs)…