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 ORCID: 0000-0002-0875-3862
(2017) A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. .

This list was generated on Sat Apr 3 04:10:39 2021 BST.