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

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

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

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

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

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2021Date issued: 2021

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

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

Degree: -

Event

show

hide

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

Place of Event: Gold Coast, Australia

Start-/End Date: 2021-10-18 - 2021-10-22

Legal Case

show

Project information

show

Source 1

show

hide

Title: Automated Technology for Verification and Analysis

Abbreviation : ATVA 2021

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

Source Genre: Proceedings

Creator(s):
Hou, Zhe¹, Editor
Ganesh, Vijay¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 364 - 380 Identifier: ISBN: 978-3-030-88884-8

Source 2

show

hide

Title: Lecture Notes in Computer Science

Abbreviation : LNCS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 12971 Sequence Number: - Start / End Page: - Identifier: -