Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Paolo Fiorini. Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation. In Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020. pages 352-359, IEEE, 2020. [doi]
Abstract is missing.