Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door. - Jiyoung Chang; Ryeonggu Kwon; Gihwon Kwon (APSEC, 2023)

Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning. - Ryeonggu Kwon; Gihwon Kwon; Sohee Park; Jiyoung Chang; Suhee Jo (IEEE Access, 2024)