4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Ulices Santa Cruz, Yasser Shoukry
In this paper, we consider the problem of formally verifying a Neural Network (NN) based autonomous landing system. In such a system, a NN controller processes images from a camera…