Wang, Yixuan, Zhou, Weichao, Fan, Jiameng, Wang, Zhilu, Li, Jiajun, Chen, Xin, Huang, Chao, Li, Wenchao, and Zhu, Qi. POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. Retrieved from https://par.nsf.gov/biblio/10562320. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 43.3 Web. doi:10.1109/TCAD.2023.3331215.

Wang, Yixuan, Zhou, Weichao, Fan, Jiameng, Wang, Zhilu, Li, Jiajun, Chen, Xin, Huang, Chao, Li, Wenchao, & Zhu, Qi. POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (3). Retrieved from https://par.nsf.gov/biblio/10562320. https://doi.org/10.1109/TCAD.2023.3331215

Wang, Yixuan, Zhou, Weichao, Fan, Jiameng, Wang, Zhilu, Li, Jiajun, Chen, Xin, Huang, Chao, Li, Wenchao, and Zhu, Qi. "POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 43 (3). Country unknown/Code not available: IEEE. https://doi.org/10.1109/TCAD.2023.3331215. https://par.nsf.gov/biblio/10562320.

@article{osti_10562320,
place = {Country unknown/Code not available}, title = {POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems}, url = {https://par.nsf.gov/biblio/10562320}, DOI = {10.1109/TCAD.2023.3331215}, abstractNote = {}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, volume = {43}, number = {3}, publisher = {IEEE}, author = {Wang, Yixuan and Zhou, Weichao and Fan, Jiameng and Wang, Zhilu and Li, Jiajun and Chen, Xin and Huang, Chao and Li, Wenchao and Zhu, Qi}, }