%0 Conference Paper %1 conf/nesy/AkintundeBKL23 %A Akintunde, Michael %A Botoeva, Elena %A Kouvaros, Panagiotis %A Lomuscio, Alessio %B NeSy %D 2023 %E d'Avila Garcez, Artur S. %E Besold, Tarek R. %E Gori, Marco %E Jiménez-Ruiz, Ernesto %I CEUR-WS.org %K dblp %P 427 %T Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. %U http://dblp.uni-trier.de/db/conf/nesy/nesy2023.html#AkintundeBKL23 %V 3432

@inproceedings{conf/nesy/AkintundeBKL23, added-at = {2023-07-11T00:00:00.000+0200}, author = {Akintunde, Michael and Botoeva, Elena and Kouvaros, Panagiotis and Lomuscio, Alessio}, biburl = {https://www.bibsonomy.org/bibtex/2e69d311ec6639783bc3b57fe960b7cd1/dblp}, booktitle = {NeSy}, crossref = {conf/nesy/2023}, editor = {d'Avila Garcez, Artur S. and Besold, Tarek R. and Gori, Marco and Jiménez-Ruiz, Ernesto}, ee = {https://ceur-ws.org/Vol-3432/paper44.pdf}, interhash = {442d4e3dad2a1fe27fe309d01fe30a1e}, intrahash = {e69d311ec6639783bc3b57fe960b7cd1}, keywords = {dblp}, pages = 427, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T13:16:27.000+0200}, title = {Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/nesy/nesy2023.html#AkintundeBKL23}, volume = 3432, year = 2023 }