Fast and Effective Robustness Certification for Recurrent Neural Networks. - Wonryong Ryou; Jiayu Chen; Mislav Balunovic; Gagandeep Singh 001; Andrei Marian Dan; Martin T. Vechev (CoRR, 2020)

Scalable Polyhedral Verification of Recurrent Neural Networks. - Wonryong Ryou; Jiayu Chen; Mislav Balunovic; Gagandeep Singh 001; Andrei Marian Dan; Martin T. Vechev (CAV (1), 2021)