%0 Conference Paper %1 conf/ecai/ZhangSGGLN20 %A Zhang, Hongce %A Shinn, Maxwell %A Gupta, Aarti %A Gurfinkel, Arie %A Le, Nham %A Narodytska, Nina %B ECAI %D 2020 %E Giacomo, Giuseppe De %E Catalá, Alejandro %E Dilkina, Bistra %E Milano, Michela %E Barro, Senén %E Bugarín, Alberto %E Lang, Jérôme %I IOS Press %K dblp %P 1690-1697 %T Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#ZhangSGGLN20 %V 325 %@ 978-1-64368-101-6

@inproceedings{conf/ecai/ZhangSGGLN20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zhang, Hongce and Shinn, Maxwell and Gupta, Aarti and Gurfinkel, Arie and Le, Nham and Narodytska, Nina}, biburl = {https://www.bibsonomy.org/bibtex/2f1f4ab735c5b7edcc656b04fd4d90f5e/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2020}, editor = {Giacomo, Giuseppe De and Catalá, Alejandro and Dilkina, Bistra and Milano, Michela and Barro, Senén and Bugarín, Alberto and Lang, Jérôme}, ee = {https://doi.org/10.3233/FAIA200281}, interhash = {36f95396abbf87c91c960e9b7d77a1d9}, intrahash = {f1f4ab735c5b7edcc656b04fd4d90f5e}, isbn = {978-1-64368-101-6}, keywords = {dblp}, pages = {1690-1697}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:45:29.000+0200}, title = {Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#ZhangSGGLN20}, volume = 325, year = 2020 }