Kang, Eunsuk
- Synthesis of Sensor Deception Attacks at the Supervisory Layer of\n Cyber-Physical Systems
2020/08/04 by Rômulo Meira-Góes, Meira-Goes, Romulo, EunSuk Kang +5 · 3 citations
Computer Science · Engineering · #FOS: Electrical engineering #Network Security and Intrusion Detection #Security and Verification in Computing #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
2024/03/13 by Kapoor, Parv, Kang, Eunsuk, Meira-Goes, Romulo · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
2025/01/08 by Kapoor, Parv, Mizuta, Kazuki, Kang, Eunsuk +1 · 3 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO) #Symbolic Computation (cs.SC)
- Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
2024/01/18 by Simon Chu, Chu, Simon, Justin Koe +5 · 1 citation
Engineering · Social Sciences · #Disaster Management and Resilience #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Infrastructure Resilience and Vulnerability Analysis #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering
- FairSense: Long-Term Fairness Analysis of ML-Enabled Systems
2025/01/03 by She, Yining, Biswas, Sumon, Kästner, Christian +1 · 2 citations
#Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Constrained LTL Specification Learning from Examples
2024/12/03 by Zhang, Changjian, Kapoor, Parv, Dardik, Ian +4 · 1 citation
#D.2.1 #D.2.2 #D.2.4 #D.3.1 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)