Eunsuk Kang

1. 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
2. Runtime-Safety-Guided Policy Repair
   2020/08/17 by Weichao Zhou, Zhou, Weichao, Ruihan Gao +7 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Reinforcement Learning in Robotics #Fault Detection and Control Systems
3. Recomposition: A New Technique for Efficient Compositional Verification
   2024/08/07 by Ian Dardik, Dardik, Ian, April Porter +3 · 2 citations
   Engineering · Materials Science · #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Languages and Automata Theory (cs.FL) #Hydrocarbon exploration and reservoir analysis #Logic in Computer Science (cs.LO) #Machine Learning in Materials Science