%0 Conference Paper %1 conf/atva/KhmelnitskyNRXB21 %A Khmelnitsky, Igor %A Neider, Daniel %A Roy, Rajarshi %A Xie, Xuan %A Barbot, Benoît %A Bollig, Benedikt %A Finkel, Alain %A Haddad, Serge %A Leucker, Martin %A Ye, Lina %B ATVA %D 2021 %E Hou, Zhe %E Ganesh, Vijay %I Springer %K dblp %P 364-380 %T Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. %U http://dblp.uni-trier.de/db/conf/atva/atva2021.html#KhmelnitskyNRXB21 %V 12971 %@ 978-3-030-88885-5

@inproceedings{conf/atva/KhmelnitskyNRXB21, added-at = {2024-05-07T00:00:00.000+0200}, author = {Khmelnitsky, Igor and Neider, Daniel and Roy, Rajarshi and Xie, Xuan and Barbot, Benoît and Bollig, Benedikt and Finkel, Alain and Haddad, Serge and Leucker, Martin and Ye, Lina}, biburl = {https://www.bibsonomy.org/bibtex/26c1be559c0cd97a31fcdc259590dc2bd/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2021}, editor = {Hou, Zhe and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-030-88885-5_24}, interhash = {bbe7d29210cac7c8ee7bac16a40d2402}, intrahash = {6c1be559c0cd97a31fcdc259590dc2bd}, isbn = {978-3-030-88885-5}, keywords = {dblp}, pages = {364-380}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:09:10.000+0200}, title = {Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2021.html#KhmelnitskyNRXB21}, volume = 12971, year = 2021 }