Ching-Yun Ko, Zhaoyang Lyu, Lily Weng, Luca Daniel, Ngai Wong, Dahua Lin: POPQORN: Quantifying Robustness of Recurrent Neural Networks. ICML 2019: 3468-3477