Neelanjana Pal

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, 2021, CAV.

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2021, Formal Aspects of Computing.