Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
Igor Khmelnitsky
(1, 2)
,
Daniel Neider
(3)
,
Rajarshi Roy
(3)
,
Xuan Xie
(3)
,
Benoît Barbot
(4)
,
Benedikt Bollig
(1)
,
Alain Finkel
(1, 5)
,
Serge Haddad
(1, 2, 6)
,
Martin Leucker
(7)
,
Lina Ye
(1, 2, 8)
1
LMF -
Laboratoire Méthodes Formelles
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
3 MPI-SWS - Max Planck Institute for Software Systems
4 LACL - Laboratoire d'Algorithmique Complexité et Logique
5 LSV - Laboratoire Spécification et Vérification
6 MEXICO - Modeling and Exploitation of Interaction and Concurrency
7 Universität zu Lübeck = University of Lübeck [Lübeck]
8 LRI - Laboratoire de Recherche en Informatique
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
3 MPI-SWS - Max Planck Institute for Software Systems
4 LACL - Laboratoire d'Algorithmique Complexité et Logique
5 LSV - Laboratoire Spécification et Vérification
6 MEXICO - Modeling and Exploitation of Interaction and Concurrency
7 Universität zu Lübeck = University of Lübeck [Lübeck]
8 LRI - Laboratoire de Recherche en Informatique
Igor Khmelnitsky
- Fonction : Auteur
- PersonId : 1044702
Benoît Barbot
- Fonction : Auteur
- PersonId : 9838
- IdHAL : b-barbot
- ORCID : 0000-0003-2417-3064
- IdRef : 185406637
Benedikt Bollig
- Fonction : Auteur
- PersonId : 741829
- IdHAL : benedikt-bollig
- ORCID : 0000-0003-0985-6115
Alain Finkel
- Fonction : Auteur
- PersonId : 13941
- IdHAL : alain-finkel
- ORCID : 0000-0003-0702-3232
- IdRef : 031087140
Serge Haddad
- Fonction : Auteur
- PersonId : 745039
- IdHAL : serge-haddad
- ORCID : 0000-0002-1759-1201
- IdRef : 032657501
Martin Leucker
- Fonction : Auteur
- PersonId : 931583