Arambam James Singh, Arvind Easwaran. PAS: Probably Approximate Safety Verification of Reinforcement Learning Policy Using Scenario Optimization. In Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum, editors, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024. pages 1745-1753, ACM, 2024. [doi]
Abstract is missing.