Star-Based Reachability Analysis of Deep Neural Networks.

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Browse the full FM paper archive.