6 citations · 15 across the 12 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…
eess.SY2020
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems
Romulo Meira-Goes, Eunsuk Kang, Raymond H. Kwong +1
We study the security of Cyber-Physical Systems (CPS) in the context of the supervisory control layer. Specifically, we propose a general model of a CPS attacker in the framework o…
cs.SE2020★ 5 cited
Teaching Software Engineering for AI-Enabled Systems
Christian Kästner, Eunsuk Kang
Software engineers have significant expertise to offer when building intelligent systems, drawing on decades of experience and methods for building systems that are scalable, respo…