Mehran Hosseini, Alessio Lomuscio. Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments. 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 2382-2384, ACM, 2023. [doi]
Abstract is missing.