52 citations · 201 across the 50 of their papers we have counts for
1 paper · 2 filters
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran +3
Safety is a critical concern for the next generation of autonomy that is likely to rely heavily on deep neural networks for perception and control. Formally verifying the safety an…