5 citations · 6 across the 3 of their papers we have counts for
4 papers
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…
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…
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…
Reliable Smart Road Signs
Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang +2
In this paper, we propose a game theoretical adversarial intervention detection mechanism for reliable smart road signs. A future trend in intelligent transportation systems is ``s…