27 citations · 93 across the 17 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
eess.SY2021★ 5 cited
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…
eess.SY2021★ 5 cited
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
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…
eess.SY2021★ 1 cited
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation
Yixuan Wang, Chao Huang, Zhilu Wang +3
Neural networks are being increasingly applied to control and decision-making for learning-enabled cyber-physical systems (LE-CPSs). They have shown promising performance without r…