Property-Directed Verification and Robustness Certification of Recurrent Neural 
Networks

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

doi:10.1007/978-3-030-88885-5_24

Lokale TagsFreigabegeschichteDetailsÜbersicht

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

Khmelnitsky, I., Neider, D., Roy, R., Xie, X., Barbot, B., Bollig, B., et al. (2021). Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. In Z. Hou, & V. Ganesh (Eds.), Automated Technology for Verification and Analysis (pp. 364-380). Berlin: Springer. doi:10.1007/978-3-030-88885-5_24.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0009-6D28-1 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0009-6D29-0

Genre: Konferenzbeitrag

ausblenden:

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

Affiliations:
1External Organizations, ou_persistent22
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2021Erschienen: 2021

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Khmelnitsky_ATVA21
DOI: 10.1007/978-3-030-88885-5_24

Art des Abschluß: -

Veranstaltung

einblenden:

ausblenden:

Titel: 19th International Symposium on Automated Technology for Verification and Analysis

Veranstaltungsort: Gold Coast, Australia

Start-/Enddatum: 2021-10-18 - 2021-10-22

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:

ausblenden:

Titel: Automated Technology for Verification and Analysis

Kurztitel : ATVA 2021

Untertitel : 19th International Symposium, ATVA 2021 ; Gold Coast, QLD, Australia, October 18–22, 2021 ; Proceedings

Genre der Quelle: Konferenzband

Urheber:
Hou, Zhe¹, Herausgeber
Ganesh, Vijay¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Berlin : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 364 - 380 Identifikator: ISBN: 978-3-030-88884-8

Quelle 2

einblenden:

ausblenden:

Titel: Lecture Notes in Computer Science

Kurztitel : LNCS

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 12971 Artikelnummer: - Start- / Endseite: - Identifikator: -

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle 1

Quelle 2