Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

TitleProperty-Directed Verification and Robustness Certification of Recurrent Neural Networks
Publication TypeConference Paper
Year of Publication2021
AuthorsKhmelnitsky, I, Neider, D, Roy, R, Xie, X, Barbot, B\^ıt, Benedikt Bollig, Finkel, A, Haddad, S, Leucker, M, Ye, L
EditorHou, Z, Ganesh, V
Conference NameAutomated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
SeriesLecture Notes in Computer Science
Volume12971
PublisherSpringer
URLhttps://doi.org/10.1007/978-3-030-88885-5_24
DOI10.1007/978-3-030-88885-5_24
Bibtex: 
@inproceedings {1392,
	title = {Property-Directed Verification and Robustness Certification of Recurrent Neural Networks},
	booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {12971},
	year = {2021},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-030-88885-5_24},
	url = {https://doi.org/10.1007/978-3-030-88885-5_24},
	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},
	editor = {Zhe Hou and Vijay Ganesh}
}