%0 Conference Paper %1 conf/hybrid/TranCY0HP23 %A Tran, Hoang-Dung %A Choi, Sung Woo %A Yang, Xiaodong %A Yamaguchi, Tomoya %A Hoxha, Bardh %A Prokhorov, Danil V. %B HSCC %D 2023 %I ACM %K dblp %P 6:1-6:13 %T Verification of Recurrent Neural Networks with Star Reachability. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2023.html#TranCY0HP23

@inproceedings{conf/hybrid/TranCY0HP23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Tran, Hoang-Dung and Choi, Sung Woo and Yang, Xiaodong and Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil V.}, biburl = {https://www.bibsonomy.org/bibtex/27043c6b47425b5d8ffdc74db7de4d1b5/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2023}, ee = {https://doi.org/10.1145/3575870.3587128}, interhash = {52caf13266061351f233f2ecd7017473}, intrahash = {7043c6b47425b5d8ffdc74db7de4d1b5}, keywords = {dblp}, pages = {6:1-6:13}, publisher = {ACM}, timestamp = {2024-04-09T13:54:58.000+0200}, title = {Verification of Recurrent Neural Networks with Star Reachability.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2023.html#TranCY0HP23}, year = 2023 }