Automated Verification of Neural Networks: Advances, Challenges and Perspectives

Open in new window