27 citations · 27 across the 1 of their papers we have counts for
1 paper · 1 filter
Chao Huang, Jiameng Fan, Wenchao Li +2
Applying neural networks as controllers in dynamical systems has shown great promises. However, it is critical yet challenging to verify the safety of such control systems with neu…