Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

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

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

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

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

Originalsprache	Englisch
Seiten	364-380
DOIs	https://doi.org/10.1007/978-3-030-88885-5_24
Publikationsstatus	Veröffentlicht - 2021

Strategische Forschungsbereiche und Zentren

Zentren: Zentrum für Künstliche Intelligenz Lübeck (ZKIL)

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

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

https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21

Zitieren

@conference{244acb0422594c5e9951c0053fad5086,

title = "Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.",

author = "Igor Khmelnitsky and Daniel Neider and Rajarshi Roy and Xuan Xie and Beno{\^i}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Martin Leucker and Lina Ye",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2021",

doi = "10.1007/978-3-030-88885-5_24",

language = "English",

pages = "364--380",

}

TY - CONF

T1 - Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

AU - Khmelnitsky, Igor

AU - Neider, Daniel

AU - Roy, Rajarshi

AU - Xie, Xuan

AU - Barbot, Benoît

AU - Bollig, Benedikt

AU - Finkel, Alain

AU - Haddad, Serge

AU - Leucker, Martin

AU - Ye, Lina

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-88885-5_24

DO - 10.1007/978-3-030-88885-5_24

M3 - Conference Papers

SP - 364

EP - 380

ER -