Huang, Chao, Fan, Jiameng, Chen, Xin, Li, Wenchao, and Zhu, Qi. POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. Retrieved from https://par.nsf.gov/biblio/10388837. International Symposium on Automated Technology for Verification and Analysis (ATVA) .
Huang, Chao, Fan, Jiameng, Chen, Xin, Li, Wenchao, & Zhu, Qi. POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. International Symposium on Automated Technology for Verification and Analysis (ATVA), (). Retrieved from https://par.nsf.gov/biblio/10388837.
Huang, Chao, Fan, Jiameng, Chen, Xin, Li, Wenchao, and Zhu, Qi.
"POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems". International Symposium on Automated Technology for Verification and Analysis (ATVA) (). Country unknown/Code not available. https://par.nsf.gov/biblio/10388837.
@article{osti_10388837,
place = {Country unknown/Code not available},
title = {POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems},
url = {https://par.nsf.gov/biblio/10388837},
abstractNote = {},
journal = {International Symposium on Automated Technology for Verification and Analysis (ATVA)},
author = {Huang, Chao and Fan, Jiameng and Chen, Xin and Li, Wenchao and Zhu, Qi},
}
Warning: Leaving National Science Foundation Website
You are now leaving the National Science Foundation website to go to a non-government website.
Website:
NSF takes no responsibility for and exercises no control over the views expressed or the accuracy of
the information contained on this site. Also be aware that NSF's privacy policy does not apply to this site.