@Inproceedings{EPTCS257.5, author = {Fernandes, Lucas E. R. and Custodio, Vinicius and Alves, Gleifer V. and Fisher, Michael }, year = {2017}, title = {A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification}, editor = {Bulwahn, Lukas and Kamali, Maryam and Linker, Sven}, booktitle = {{\rm Proceedings First Workshop on} Formal Verification of Autonomous Vehicles, {\rm Turin, Italy, 19th September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {257}, publisher = {Open Publishing Association}, pages = {35-42}, doi = {10.4204/EPTCS.257.5}, }