Safety Verification of Non-Deterministic Policies in Reinforcement Learning by Ryeonggu Kwon, Gihwon Kwon

Get full text

Optimization of State Clustering and Safety Verification in Deep Reinforcement Learning Using KMeans++ and Probabilistic Model Checking by Ryeonggu Kwon, Gihwon Kwon

Get full text

CAMP: Counterexamples, Abstraction, MDPs, and Policy Refinement for Enhancing Safety, Stability, and Rewards in Reinforcement Learning by Ryeonggu Kwon, Gihwon Kwon

Get full text

Analyzing Key Features of Open Source Software Survivability with Random Forest by Sohee Park, Gihwon Kwon

Get full text