27 citations · 27 across the 1 of their papers we have counts for
1 paper
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…