6 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
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…