Safe Reinforcement Learning via Probabilistic Timed Computation Tree Logic

Li Qian, Jing Liu. Safe Reinforcement Learning via Probabilistic Timed Computation Tree Logic. In 2020 International Joint Conference on Neural Networks, IJCNN 2020, Glasgow, United Kingdom, July 19-24, 2020. pages 1-8, IEEE, 2020. [doi]

Abstract

Abstract is missing.