Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
Work
Year: 2021
Type: book-chapter
Institutions Laboratoire Méthodes Formelles, Max Planck Institute for Software Systems, Université Paris-Est Créteil, Paris-Est Sup, Laboratoire Spécification et Vérification +4 more
Cites: 25
Cited by: 11
Related to: 10
FWCI: 3.878
Citation percentile (by year/subfield): 82.08
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed