(:notitlegroup:) 

   @article{izzo2016,
    title     = {Reducing Complexity of Autonomous Control Agents for Verifiability},
    author    = {Paolo Izzo and Hongyang Qu and Sandor M. Veres},
    journal   = {arXiv preprint arXiv:1603.01202},
    year      = {2016}}