#!/usr/bin/php

<pre>@inproceedings{AAMAS-2020-nondet,
  author =    {Michael Akintunde and Elena Botoeva and Panagiotis
               Kouvaros and Alessio Lomuscio},
  title     = {Formal Verification of Neural Agents in
               Non-deterministic Environments},
  year      = {2020},
  publisher = {IFAAMAS},
  booktitle = {Proceedings of the 19th International Conference on
               Autonomous Agents and Multi-Agent Systems (AAMAS 2020)},
  pages     = {25--33},
  webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/abkl-AAMAS-20.pdf},
}</pre>