Up a level |
Number of items: 1.
Fernandes, Lucas ER, Custodio, Vinicius, Alves, Gleifer V and Fisher, Michael
(2017)
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.
In: First Workshop on Formal Verification of Autonomous Vehicles, 2017-9-19 - 2017-9-19.