H. Zhang, P. Zhang, and C.-J. Hsieh, “RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications”, AAAI, vol. 33, no. 01, pp. 5757-5764, Jul. 2019.