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 ORCID: 0000-0002-0875-3862
(2020) Heterogeneous Verification of an Autonomous Curiosity Rover. In: 12th International Symposium on NASA Formal Methods, 2020-05-11 - 2020-05-15, Moffett Field, CA, USA.

This list was generated on Wed Nov 24 18:34:03 2021 GMT.