A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. - Lucas E. R. Fernandes; Vinicius Custodio; Gleifer V. Alves; Michael Fisher 001 (FVAV@iFM, 2017)