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]
@inproceedings{AkintundeBKL23,
title = {Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems},
author = {Michael Akintunde and Elena Botoeva and Panagiotis Kouvaros and Alessio Lomuscio},
year = {2023},
url = {https://ceur-ws.org/Vol-3432/paper44.pdf},
researchr = {https://researchr.org/publication/AkintundeBKL23},
cites = {0},
citedby = {0},
pages = {427},
booktitle = {Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023},
editor = {Artur S. d'Avila Garcez and Tarek R. Besold and Marco Gori and Ernesto Jiménez-Ruiz},
volume = {3432},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}