Asma Soualah, Matthieu Martel. Efficient Neural Network Validation with Affine Forms. In 6th International Conference on System Reliability and Safety, ICSRS 2022, Venice, Italy, November 23-25, 2022. pages 179-185, IEEE, 2022. [doi]
Abstract is missing.