Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Sun Sep 10 05:37:19 2023 BST.