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 11 14:29:30 2020 GMT.