Analysis of recurrent neural networks via property-directed verification of surrogate models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Analysis of recurrent neural networks via property-directed verification of surrogate models ; day:16 ; month:11 ; year:2022 ; pages:1-14
International journal on software tools for technology transfer ; (16.11.2022), 1-14
- Urheber
-
Khmelnitsky, Igor
Neider, Daniel
Roy, Rajarshi
Xie, Xuan
Barbot, Benoît
Bollig, Benedikt
Finkel, Alain
Haddad, Serge
Leucker, Martin
Ye, Lina
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00684-w
- URN
-
urn:nbn:de:101:1-2023012909030059699549
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:25 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Khmelnitsky, Igor
- Neider, Daniel
- Roy, Rajarshi
- Xie, Xuan
- Barbot, Benoît
- Bollig, Benedikt
- Finkel, Alain
- Haddad, Serge
- Leucker, Martin
- Ye, Lina
- SpringerLink (Online service)
Ähnliche Objekte (12)
PrIC3: Property Directed Reachability for MDPs
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Improved particle swarm optimization method directed by indirect surrogate modeling
Applications of property based synthesis in formal verification
Property verification of mixed data and control intensive designs
Efficient system traversal and property verification by exploiting circuit locality
The Distributional Impact of Recurrent Immovable Property Taxation in Greece
The Distributional Impact of Recurrent Immovable Property Taxation in Greece
Holz-Surrogate
22: Surrogate
Opium-Surrogate
PrIC3: Property Directed Reachability for MDPs
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Improved particle swarm optimization method directed by indirect surrogate modeling
Applications of property based synthesis in formal verification
Property verification of mixed data and control intensive designs
Efficient system traversal and property verification by exploiting circuit locality
The Distributional Impact of Recurrent Immovable Property Taxation in Greece
The Distributional Impact of Recurrent Immovable Property Taxation in Greece
Holz-Surrogate
22: Surrogate
Opium-Surrogate
PrIC3: Property Directed Reachability for MDPs
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Improved particle swarm optimization method directed by indirect surrogate modeling
Applications of property based synthesis in formal verification
Property verification of mixed data and control intensive designs
Efficient system traversal and property verification by exploiting circuit locality
The Distributional Impact of Recurrent Immovable Property Taxation in Greece
The Distributional Impact of Recurrent Immovable Property Taxation in Greece
Holz-Surrogate
22: Surrogate