Formal Verification of Neural Network Controlled Autonomous Systems

Xiaowu Sun, Haitham Khedr, Yasser Shoukry

In this paper, we consider the problem of formally verifying the safety of an autonomous robot equipped with a Neural Network (NN) controller that processes LiDAR images to produce…