POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu

Browse the full ATVA paper archive.