@article{astochasticallyverifiableautonomous,
  title = {A stochastically verifiable autonomous control architecture with reasoning},
  author = {Paolo Izzo and Hongyang Qu and Sandor M. Veres},
  year = {2016},
  eprint = {1611.03372},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1611.03372v1},
}