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

Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain. - Suhee Jo; Ryeonggu Kwon; Gihwon Kwon (APSEC, 2023)

Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic. - Ryeonggu Kwon; Gihwon Kwon (Syst., 2023)

Assessing Open Source Software Survivability using Kaplan-Meier Survival Function and Polynomial Regression. - Sohee Park; Ryeonggu Kwon; Gihwon Kwon (ASE, 2024)

Safety Verification of Non-Deterministic Policies in Reinforcement Learning. - Ryeonggu Kwon; Gihwon Kwon (IEEE Access, 2024)

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

Probabilistic SIL Verification of a Synthesized Fault-Tolerant Model for Reliable Safety Assessment. - Daehui Jeong; Gihwon Kwon; Ryeonggu Kwon (IEEE Access, 2025)

Optimization of State Clustering and Safety Verification in Deep Reinforcement Learning Using KMeans++ and Probabilistic Model Checking. - Ryeonggu Kwon; Gihwon Kwon (IEEE Access, 2025)

CAMP: Counterexamples, Abstraction, MDPs, and Policy Refinement for Enhancing Safety, Stability, and Rewards in Reinforcement Learning. - Ryeonggu Kwon; Gihwon Kwon (IEEE Access, 2025)