[KKP+24]
Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo, Yeongtong-gu, Gyeonggi-do, Suwon-si.
Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning.
IEEE Access.
2024.
[Uses PRISM to analyse models learnt by reinforcement learning.]
|
