TY  - RPRT
TI  - Property-Directed Verification of Recurrent Neural Networks
AU  - Igor Khmelnitsky
AU  - Daniel Neider
AU  - Rajarshi Roy
AU  - Benoît Barbot
AU  - Benedikt Bollig
AU  - Alain Finkel
AU  - Serge Haddad
AU  - Martin Leucker
AU  - Lina Ye
PY  - 2020
UR  - https://arxiv.org/abs/2009.10610
ID  - 2009.10610
ER  -