Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving.

Yonggang Luo, Jinyan Ma, Sanchu Han, Lecheng Xie

Browse the full VECoS paper archive.