Enrico Marchesini, Luca Marzari, Alessandro Farinelli, Christopher Amato. Safe Deep Reinforcement Learning by Verifying Task-Level Properties. In Noa Agmon, Bo An 0001, Alessandro Ricci, William Yeoh 0001, editors, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023. pages 1466-1475, ACM, 2023. [doi]
Abstract is missing.