Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh, John Mullins. On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021. pages 260-269, IEEE, 2021. [doi]
Abstract is missing.