Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio. Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. In Artur S. d'Avila Garcez, Tarek R. Besold, Marco Gori, Ernesto Jiménez-Ruiz, editors, Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023. Volume 3432 of CEUR Workshop Proceedings, pages 427, CEUR-WS.org, 2023. [doi]
Abstract is missing.