Property-directed verification and robustness certification of recurrent neural networks

DOI10.1007/978-3-030-88885-5_24zbMath1497.68311OpenAlexW3206992005MaRDI QIDQ2147216

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

Publication date: 22 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88885-5_24

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Learning finite state models from recurrent neural networks, A survey of model learning techniques for recurrent neural networks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Learning regular sets from queries and counterexamples
• Fast string correction with Levenshtein automata
• An abstraction-based framework for neural network verification
• A linear algorithm for the random sampling from regular languages