kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification

Published in Proceedings of the 10th International Conference on Fundamentals of Software Engineering, 2022

Recommended citation: Xiaoyong Xue, Xiyue Zhang, Meng Sun. "kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification." Proceedings of the 10th International Conference on Fundamentals of Software Engineering. FSEN 2023.