 | Up a level |
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.