Yi Yang. Verifiably Safe Decision-Making for Autonomous Systems. 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 2973-2975, ACM, 2023. [doi]
Abstract is missing.