Paper
in
Workshop: Security and Safety in Machine Learning Systems
Speeding Up Neural Network Verification via Automated Algorithm Configuration
Matthias König
Abstract: