%0 Conference Paper %1 conf/atva/HuangFCLZ22 %A Huang, Chao %A Fan, Jiameng %A Chen, Xin %A Li, Wenchao %A Zhu, Qi %B ATVA %D 2022 %E Bouajjani, Ahmed %E Holík, Lukás %E Wu, Zhilin %I Springer %K dblp %P 414-430 %T POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. %U http://dblp.uni-trier.de/db/conf/atva/atva2022.html#HuangFCLZ22 %V 13505 %@ 978-3-031-19992-9

@inproceedings{conf/atva/HuangFCLZ22, added-at = {2023-02-01T00:00:00.000+0100}, author = {Huang, Chao and Fan, Jiameng and Chen, Xin and Li, Wenchao and Zhu, Qi}, biburl = {https://www.bibsonomy.org/bibtex/2dc3d1a04a05cf641d24c55ee1d7eb352/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2022}, editor = {Bouajjani, Ahmed and Holík, Lukás and Wu, Zhilin}, ee = {https://doi.org/10.1007/978-3-031-19992-9_27}, interhash = {ab795b245d2e0e16b971ebc718900318}, intrahash = {dc3d1a04a05cf641d24c55ee1d7eb352}, isbn = {978-3-031-19992-9}, keywords = {dblp}, pages = {414-430}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:52.000+0200}, title = {POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2022.html#HuangFCLZ22}, volume = 13505, year = 2022 }