Browse by People


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


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 Sat Mar 23 13:40:57 2024 GMT.