A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. Fernandes, L. E. R., Custodio, V., Alves, G. V., & Fisher, M. In Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017., pages 35–42, 2017.
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification [link]Paper  doi  bibtex   4 downloads  
@inproceedings{DBLP:journals/corr/abs-1709-02557,
  author    = {Lucas E. R. Fernandes and
               Vinicius Custodio and
               Gleifer V. Alves and
               Michael Fisher},
  title     = {A Rational Agent Controlling an Autonomous Vehicle: Implementation
               and Formal Verification},
  booktitle = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
               FVAV@iFM 2017, Turin, Italy, 19th September 2017.},
  pages     = {35--42},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.257.5},
  doi       = {10.4204/EPTCS.257.5},
  timestamp = {Fri, 02 Nov 2018 09:30:18 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-02557},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 4