@misc{indiciae69d824dc739c,
  title = {A stochastically verifiable autonomous control architecture with reasoning},
  author = {Paolo Izzo and Hongyang Qu and Sandor M. Veres},
  year = {2016},
  url = {https://arxiv.org/abs/1611.03372},
  note = {Source identifier: 1611.03372}
}