@inproceedings{DBLP:conf/nfm/CardosoFLF020,
  author       = {Rafael C. Cardoso and
                  Marie Farrell and
                  Matt Luckcuck and
                  Angelo Ferrando and
                  Michael Fisher},
  editor       = {Ritchie Lee and
                  Susmit Jha and
                  Anastasia Mavridou},
  title        = {Heterogeneous Verification of an Autonomous Curiosity Rover},
  booktitle    = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
                  Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12229},
  pages        = {353--360},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-55754-6\_20},
  doi          = {10.1007/978-3-030-55754-6\_20},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/CardosoFLF020.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":"inproceedings","type":"inproceedings","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":[]}],"editor":[{"firstnames":["Ritchie"],"propositions":[],"lastnames":["Lee"],"suffixes":[]},{"firstnames":["Susmit"],"propositions":[],"lastnames":["Jha"],"suffixes":[]},{"firstnames":["Anastasia"],"propositions":[],"lastnames":["Mavridou"],"suffixes":[]}],"title":"Heterogeneous Verification of an Autonomous Curiosity Rover","booktitle":"NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings","series":"Lecture Notes in Computer Science","volume":"12229","pages":"353–360","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-55754-6\\_20","doi":"10.1007/978-3-030-55754-6_20","timestamp":"Wed, 07 Dec 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/nfm/CardosoFLF020.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/nfm/CardosoFLF020,\n author = {Rafael C. Cardoso and\n Marie Farrell and\n Matt Luckcuck and\n Angelo Ferrando and\n Michael Fisher},\n editor = {Ritchie Lee and\n Susmit Jha and\n Anastasia Mavridou},\n title = {Heterogeneous Verification of an Autonomous Curiosity Rover},\n booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,\n Moffett Field, CA, USA, May 11-15, 2020, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12229},\n pages = {353--360},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-55754-6\\_20},\n doi = {10.1007/978-3-030-55754-6\\_20},\n timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/nfm/CardosoFLF020.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."],"editor_short":["Lee, R.","Jha, S.","Mavridou, A."],"key":"DBLP:conf/nfm/CardosoFLF020","id":"DBLP:conf/nfm/CardosoFLF020","bibbaseid":"cardoso-farrell-luckcuck-ferrando-fisher-heterogeneousverificationofanautonomouscuriosityrover-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-55754-6\\_20"},"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":"inproceedings","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"]}