Safe Deep Reinforcement Learning by Verifying Task-Level Properties

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]

Authors

Enrico Marchesini

This author has not been identified. Look up 'Enrico Marchesini' in Google

Luca Marzari

This author has not been identified. Look up 'Luca Marzari' in Google

Alessandro Farinelli

This author has not been identified. Look up 'Alessandro Farinelli' in Google

Christopher Amato

This author has not been identified. Look up 'Christopher Amato' in Google