Persistent URL of this record https://hdl.handle.net/1887/3277268
In Collections
This item can be found in the following collections:
Speeding up neural network verification via automated algorithm configuration
- All authors
- König, H.M.T.; Hoos, H.H.; Rijn, J.N. van
- Date
- 2021
- Title of host publication
- ICLR Workshop on Security and Safety in Machine Learning Systems