#!/usr/bin/php
@inproceedings{KR-2020-multi-agent, author = {Michael Akintunde and Elena Botoeva and Panagiotis Kouvaros and Alessio Lomuscio}, booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)}, publisher = {IJCAI Press}, title = {Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems}, year = {2020}, pages = {22--32}, webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/abkl-KR-20.pdf}, }