Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Browse the full ATVA paper archive.