Analysis of recurrent neural networks via property-directed verification of surrogate models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Igor Khmelnitsky' in GoogleThis author has not been identified. Look up 'Daniel Neider' in GoogleThis author has not been identified. Look up 'Rajarshi Roy 0002' in GoogleThis author has not been identified. Look up 'Xuan Xie' in GoogleThis author has not been identified. Look up 'Benoît Barbot' in GoogleThis author has not been identified. Look up 'Benedikt Bollig' in GoogleThis author has not been identified. Look up 'Alain Finkel' in GoogleThis author has not been identified. Look up 'Serge Haddad' in GoogleThis author has not been identified. Look up 'Martin Leucker' in GoogleThis author has not been identified. Look up 'Lina Ye' in Google

runs on WebDSL