most citedProvably Correct Training of Neural Network Controllers Using Reachability Analysis

4 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2018

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…