Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Alves, Gleifer, Dennis, LA ORCID: 0000-0003-1426-1896 and Fisher, michael
(2018) Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent. In: Workshop on Verification and Validation of Autonomous Systems, 2018-7-18 - 2018-7-19, Oxford UK.


Cardoso, Rafael ORCID: 0000-0001-6666-6954, Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Ferrando, Angelo ORCID: 0000-0002-8711-4670 and Fisher, michael
(2020) Heterogeneous Verification of an Autonomous Curiosity Rover. In: 12th International Symposium on NASA Formal Methods, 2020-5-11 - 2020-5-15, Moffett Field, CA, USA.

This list was generated on Tue Oct 3 08:20:43 2023 BST.