Scalable Quantitative Verification for Deep Neural Networks.

Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena

Browse the full ICSE paper archive.