@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},
}