Formal Verification of STPA with Model Checking
Kwon, Ryeonggu, Kwon, Gihwon
Published in Scientific Journal of Gdynia Maritime University (01.03.2023)
Published in Scientific Journal of Gdynia Maritime University (01.03.2023)
Get full text
Journal Article
Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning
Kwon, Ryeonggu, Kwon, Gihwon, Park, Sohee, Chang, Jiyoung, Jo, Suhee
Published in IEEE access (2024)
Published in IEEE access (2024)
Get full text
Journal Article
Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door
Chang, Jiyoung, Kwon, Ryeonggu, Kwon, Gihwon
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Get full text
Conference Proceeding
Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain
Jo, Suhee, Kwon, Ryeonggu, Kwon, Gihwon
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Get full text
Conference Proceeding