#!/usr/bin/php

<pre>@article{JAAMAS-2021,
  author    = {Michael E. Akintunde and
               Elena Botoeva and
               Panagiotis Kouvaros and
               Alessio Lomuscio},
  title     = {Formal verification of neural agents in non-deterministic environments},
  journal   = {Auton. Agents Multi Agent Syst.},
  volume    = {36},
  number    = {1},
  pages     = {6},
  year      = {2022},
  url       = {https://doi.org/10.1007/s10458-021-09529-3},
  doi       = {10.1007/s10458-021-09529-3},
}</pre>