Safe Reinforcement Learning via Probabilistic Timed Computation Tree Logic.

Li Qian, Jing Liu

Browse the full IJCNN paper archive.