DeepGlobal: A Global Robustness Verifiable FNN Framework

Published in Proceedings of International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, 2021

Recommended citation: Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun. "DeepGlobal: A Global Robustness Verifiable FNN Framework." Proceedings of International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. SETTA 2021. https://link.springer.com/chapter/10.1007/978-3-030-91265-9_2