Igor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye. Analysis of recurrent neural networks via property-directed verification of surrogate models. STTT, 25(3):341-354, June 2023. [doi]
Abstract is missing.