@article{DBLP:journals/corr/abs-2007-10045,
  author       = {Rafael C. Cardoso and
                  Marie Farrell and
                  Matt Luckcuck and
                  Angelo Ferrando and
                  Michael Fisher},
  title        = {Heterogeneous Verification of an Autonomous Curiosity Rover},
  journal      = {CoRR},
  volume       = {abs/2007.10045},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.10045},
  eprinttype    = {arXiv},
  eprint       = {2007.10045},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-10045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"LBdjHHWTfDrmbdXo8","bibbaseid":"cardoso-farrell-luckcuck-ferrando-fisher-heterogeneousverificationofanautonomouscuriosityrover-2020","authorIDs":["5YE3qpYL4JZhdYhHi","5e60ea5d839e59df01000121","5e61131f1cc34ede0100006f","5m6gYxfrEhH7KSEWf","65scCLCSXnv4KtdNN","6Ldj9FSHH4La62yHZ","Aqb5WGvvm5jTkproZ","BSvSYiAadyXLqzyTT","C3AYvgLyTmLGNTK4M","D5nD7iE8ftrCK3tAa","FRGkxgaRtfTB4c5dh","FiWWhgjiMgfaEjPn6","G3M5Z7E5HnLqBWhPB","JETWEoCYwoFLNdgkn","L4cWiFkGZBSbk8JHm","MoNWo7scHtHEjwwAS","QCJzkZ4nx3oTc3jxP","T5dyRj6PXDFb2dBYu","ave2ormdgifxS5Q83","ke9rmTz2zgxMFDJnj","uzT5QYuh5aKpds4uB","vYzJ2wzB3yovsNA2Y","zYL76LnrArjuMxrGp","zmdxRffuQ48hM88AJ"],"author_short":["Cardoso, R. C.","Farrell, M.","Luckcuck, M.","Ferrando, A.","Fisher, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rafael","C."],"propositions":[],"lastnames":["Cardoso"],"suffixes":[]},{"firstnames":["Marie"],"propositions":[],"lastnames":["Farrell"],"suffixes":[]},{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"Heterogeneous Verification of an Autonomous Curiosity Rover","journal":"CoRR","volume":"abs/2007.10045","year":"2020","url":"https://arxiv.org/abs/2007.10045","eprinttype":"arXiv","eprint":"2007.10045","timestamp":"Wed, 28 Sep 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2007-10045.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2007-10045,\n author = {Rafael C. Cardoso and\n Marie Farrell and\n Matt Luckcuck and\n Angelo Ferrando and\n Michael Fisher},\n title = {Heterogeneous Verification of an Autonomous Curiosity Rover},\n journal = {CoRR},\n volume = {abs/2007.10045},\n year = {2020},\n url = {https://arxiv.org/abs/2007.10045},\n eprinttype = {arXiv},\n eprint = {2007.10045},\n timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2007-10045.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cardoso, R. C.","Farrell, M.","Luckcuck, M.","Ferrando, A.","Fisher, M."],"key":"DBLP:journals/corr/abs-2007-10045","id":"DBLP:journals/corr/abs-2007-10045","bibbaseid":"cardoso-farrell-luckcuck-ferrando-fisher-heterogeneousverificationofanautonomouscuriosityrover-2020","role":"author","urls":{"Paper":"https://arxiv.org/abs/2007.10045"},"metadata":{"authorlinks":{"ferrando, a":"https://angeloferrando.github.io/website/","cardoso, r":"https://bibbase.org/show?bib=https://rafaelcaue.github.io/publications.bib"}},"downloads":1},"bibtype":"article","biburl":"https://dblp.org/pid/134/9527.bib","creationDate":"2020-03-05T12:17:12.493Z","downloads":1,"keywords":[],"search_terms":["heterogeneous","verification","autonomous","curiosity","rover","cardoso","farrell","luckcuck","ferrando","fisher"],"title":"Heterogeneous Verification of an Autonomous Curiosity Rover","year":2020,"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","jkPac6coMCnfPS9v6","AdmcuDNM8GSatWG9Y","iqRbmbCgpDeaBjend","PxcFZJ2oyR7SFv6tr","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"]}