Ryeonggu Kwon

According to our database, Ryeonggu Kwon authored at least 9 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

CAMP: Counterexamples, Abstraction, MDPs, and Policy Refinement for Enhancing Safety, Stability, and Rewards in Reinforcement Learning.

Ryeonggu Kwon, Gihwon 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

Probabilistic SIL Verification of a Synthesized Fault-Tolerant Model for Reliable Safety Assessment.

Daehui Jeong, Gihwon Kwon, Ryeonggu Kwon

IEEE Access, 2025

2024

Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning.

Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo

IEEE Access, 2024

Safety Verification of Non-Deterministic Policies in Reinforcement Learning.

Ryeonggu Kwon, Gihwon Kwon

IEEE Access, 2024

Assessing Open Source Software Survivability using Kaplan-Meier Survival Function and Polynomial Regression.

Sohee Park, Ryeonggu Kwon, Gihwon Kwon

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic.

Ryeonggu Kwon, Gihwon Kwon

Syst., November, 2023

Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain.

Suhee Jo, Ryeonggu Kwon, Gihwon Kwon

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door.

Jiyoung Chang, Ryeonggu Kwon, Gihwon Kwon

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023