Abstraction based Output Range Analysis for Neural Networks

Pavithra Prabhakar and Zahra Rahimi Afzal. NeurIPS 2019. (Poster PDF · Paper)