ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation Networks.

Yuehao Liu, Cong Tian, Yansong Dong, Liang Zhao, Chao Huang, Wensheng Wang

Browse the full CAV paper archive.