Analysis of recurrent neural networks via property-directed verification of surrogate models
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Khmelnitsky, Igor
Neider, Daniel
Roy, Rajarshi
Xie, Xuan
Barbot, Benoît
Bollig, Benedikt
Finkel, Alain
Haddad, Serge
Leucker, Martin
Ye, Lina
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00684-w
- URN
-
urn:nbn:de:101:1-2023012909030059699549
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Khmelnitsky, Igor
- Neider, Daniel
- Roy, Rajarshi
- Xie, Xuan
- Barbot, Benoît
- Bollig, Benedikt
- Finkel, Alain
- Haddad, Serge
- Leucker, Martin
- Ye, Lina
- SpringerLink (Online service)
Other Objects (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
Metall-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
Metall-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