Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees

Yixuan Wang, Chao Huang, Zhaoran Wang +2

In the current control design of safety-critical autonomous systems, formal verification techniques are typically applied after the controller is designed to evaluate whether the r…