Quantitative Verification of Neural Networks and Its Security Applications.

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena

Browse the full CCS paper archive.