#!/usr/bin/php
@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}, }