27 citations · 33 across the 5 of their papers we have counts for
1 paper · 1 filter
Chao Huang, Jiameng Fan, Zhilu Wang +6
We present POLAR, a polynomial arithmetic-based framework for efficient bounded-time reachability analysis of neural-network controlled systems (NNCSs). Existing approaches that le…