Author Search Results :: UTM Library Massive Scholar Tracking

1

Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic by Ryeonggu Kwon, Gihwon Kwon

Published 2023-11-01

Get full text

Article
2

Formal Verification of STPA with Model Checking by Ryeonggu Kwon, Gihwon Kwon

Published 2023-03-01

Get full text

Article
3

Survivability Prediction of Open Source Software with Polynomial Regression by Sohee Park, Ryeonggu Kwon, Gihwon Kwon

Published 2024-03-01

Get full text

Article
4

STPA-RL: Integrating Reinforcement Learning into STPA for Loss Scenario Exploration by Jiyoung Chang, Ryeonggu Kwon, Gihwon Kwon

Published 2024-03-01

Get full text

Article
5

Probabilistic Model Checking GitHub Repositories for Software Project Analysis by Suhee Jo, Ryeonggu Kwon, Gihwon Kwon

Published 2024-02-01

Get full text

Article
6

Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning by Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo

Published 2024-01-01

Get full text

Article