Polar: A polynomial arithmetic framework for verifying neural-network controlled systems
We present POLAR (The source code can be found at https://github. com/ChaoHuang2018/
POLAR_Tool. The full version of this paper can be found at https://arxiv …
POLAR_Tool. The full version of this paper can be found at https://arxiv …
[PDF][PDF] POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
C Huang, J Fan, X Chen, W Li, Q Zhu - International Symposium on …, 2022 - par.nsf.gov
We present POLAR5, a POLynomial ARithmetic-based framework for efficient time-bounded
reachability analysis of neural-network controlled systems. Existing approaches leveraging …
reachability analysis of neural-network controlled systems. Existing approaches leveraging …
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
C Huang, J Fan, X Chen, W Li… - … for Verification and …, 2022 - scholars.northwestern.edu
We present POLAR (The source code can be found at https://github. com/ChaoHuang2018/
POLAR_Tool. The full version of this paper can be found at https://arxiv …
POLAR_Tool. The full version of this paper can be found at https://arxiv …
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
C Huang, J Fan, X Chen, W Li, Q Zhu - International Symposium on …, 2022 - dl.acm.org
We present POLAR (The source code can be found at https://github. com/ChaoHuang2018/
POLAR_Tool. The full version of this paper can be found at https://arxiv …
POLAR_Tool. The full version of this paper can be found at https://arxiv …
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
C Huang, J Fan, Z Wang, Y Wang, W Zhou, J Li… - arXiv preprint arXiv …, 2021 - arxiv.org
We present POLAR, a polynomial arithmetic-based framework for efficient bounded-time
reachability analysis of neural-network controlled systems (NNCSs). Existing approaches …
reachability analysis of neural-network controlled systems (NNCSs). Existing approaches …
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
C Huang, J Fan, Z Wang, Y Wang, W Zhou, J Li… - arXiv e …, 2021 - ui.adsabs.harvard.edu
We present POLAR, a polynomial arithmetic-based framework for efficient bounded-time
reachability analysis of neural-network controlled systems (NNCSs). Existing approaches …
reachability analysis of neural-network controlled systems (NNCSs). Existing approaches …
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
C Huang, J Fan, X Chen, W Li, Q Zhu - 2021 - openreview.net
We propose POLAR, a\textbf {pol} ynomial\textbf {ar} ithmetic framework that leverages
polynomial overapproximations with interval remainders for bounded-time reachability …
polynomial overapproximations with interval remainders for bounded-time reachability …