König, M., Hoos, H. H., & Rijn, J. N. v. (2022). Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio. Machine learning, 111(12), 4565-4584. https://doi.org/10.1007/s10994-022-06212-w
Chicago-Zitierstil (17. Ausg.)König, Matthias, Holger H. Hoos, und Jan N. van Rijn. "Speeding Up Neural Network Robustness Verification via Algorithm Configuration and an Optimised Mixed Integer Linear Programming Solver Portfolio." Machine Learning 111, no. 12 (2022): 4565-4584. https://doi.org/10.1007/s10994-022-06212-w.
MLA-Zitierstil (9. Ausg.)König, Matthias, et al. "Speeding Up Neural Network Robustness Verification via Algorithm Configuration and an Optimised Mixed Integer Linear Programming Solver Portfolio." Machine Learning, vol. 111, no. 12, 2022, pp. 4565-4584, https://doi.org/10.1007/s10994-022-06212-w.