%0 Conference Paper %1 conf/kr/AkintundeBKL20 %A Akintunde, Michael E. %A Botoeva, Elena %A Kouvaros, Panagiotis %A Lomuscio, Alessio %B KR %D 2020 %E Calvanese, Diego %E Erdem, Esra %E Thielscher, Michael %K dblp %P 22-32 %T Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. %U http://dblp.uni-trier.de/db/conf/kr/kr2020.html#AkintundeBKL20 %@ 978-0-9992411-7-2

@inproceedings{conf/kr/AkintundeBKL20, added-at = {2021-01-29T00:00:00.000+0100}, author = {Akintunde, Michael E. and Botoeva, Elena and Kouvaros, Panagiotis and Lomuscio, Alessio}, biburl = {https://www.bibsonomy.org/bibtex/25cae2737bfca7b9cd776a9a895698aa5/dblp}, booktitle = {KR}, crossref = {conf/kr/2020}, editor = {Calvanese, Diego and Erdem, Esra and Thielscher, Michael}, ee = {https://doi.org/10.24963/kr.2020/3}, interhash = {e374ed3ac9e308ac2de4604c39bd0b4d}, intrahash = {5cae2737bfca7b9cd776a9a895698aa5}, isbn = {978-0-9992411-7-2}, keywords = {dblp}, pages = {22-32}, timestamp = {2024-04-10T13:33:57.000+0200}, title = {Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2020.html#AkintundeBKL20}, year = 2020 }