%0 Journal Article %1 journals/corr/abs-2106-13867 %A Huang, Chao %A Fan, Jiameng %A Chen, Xin %A Li, Wenchao %A Zhu, Qi %D 2021 %J CoRR %K dblp %T POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-13867 %V abs/2106.13867

@article{journals/corr/abs-2106-13867, 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/26b1cc8b4f00d879a78c0381ae7199a3f/dblp}, ee = {https://arxiv.org/abs/2106.13867}, interhash = {cd8a7a45b61c09880b6f3d304773a21d}, intrahash = {6b1cc8b4f00d879a78c0381ae7199a3f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:43:04.000+0200}, title = {POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-13867}, volume = {abs/2106.13867}, year = 2021 }