@misc{indiciaea1e90f9c5cbf,
  title = {A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification},
  author = {Lucas E. R. Fernandes and Vinicius Custodio and Gleifer V. Alves and Michael Fisher},
  year = {2017},
  doi = {10.4204/eptcs.257.5},
  url = {https://arxiv.org/abs/1709.02557},
  note = {Source identifier: 1709.02557}
}