27 citations · 94 across the 13 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.AI2020★ 1 cited
Runtime-Safety-Guided Policy Repair
Weichao Zhou, Ruihan Gao, BaekGyu Kim +2
We study the problem of policy repair for learning-based control policies in safety-critical settings. We consider an architecture where a high-performance learning-based control p…
cs.LG2020★ 1 cited
Adversarial Training and Provable Robustness: A Tale of Two Objectives
Jiameng Fan, Wenchao Li
We propose a principled framework that combines adversarial training and provable robustness verification for training certifiably robust neural networks. We formulate the training…
eess.SY2020★ 3 cited
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems
Chao Huang, Shichao Xu, Zhilu Wang +3
Control schemes for autonomous systems are often designed in a way that anticipates the worst case in any situation. At runtime, however, there could exist opportunities to leverag…