Up a level |
Number of items: 1.
Fernandes, Lucas E. R., Custodio, Vinicius, Alves, Gleifer V. and Fisher, Michael
(2017)
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.
.
Up a level |
Fernandes, Lucas E. R., Custodio, Vinicius, Alves, Gleifer V. and Fisher, Michael
(2017)
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000