@inproceedings{Farrell2019b,
  author    = {Farrell, M. and Cardoso, R. C. and Dennis, L. and Dixon, C. and Fisher, M. and Kourtis, G. and Lisitsa, A. and Luckcuck, M. and Webster, M},
  title     = {Modular Verification of Autonomous Space Robotics},
  booktitle = {Assurance of Autonomy for Robotic Space Missions Workshop},
  year      = {2019},
  note = {[<span class="fs">FAIR-SPACE</span>]}
}

{"_id":"gDQibMiZdLtCwk6bf","bibbaseid":"farrell-cardoso-dennis-dixon-fisher-kourtis-lisitsa-luckcuck-etal-modularverificationofautonomousspacerobotics-2019","authorIDs":["577a8b0817cd332244000218","5YE3qpYL4JZhdYhHi","5de7349e97054edf01000169","5de8ca929e80cdde010000d8","5ded798b722536de010001b2","5df2eda7b91ab0de0100010c","5dfbc2464705b7de01000003","5e05e31e6a743cde01000024","5e0c0123e0da25de01000099","5e174ea5883585df010001af","5e1e02972cced5de0100019a","5e1e29e5407a20de01000059","5e1e3a7a407a20de010001e6","5e2582d2d31494de01000010","5e26105d408641df01000013","5e27126cf51e02de01000080","5e283ecae6485dde0100015a","5e299eb0fed3e7df010000c1","5e2dfb71524f94de01000026","5e3271c15633c9de010000d5","5e36d2a02bb0d4df01000092","5e3ae5d51b85fadf01000184","5e416c0ad9f47bee01000037","5e4292685ea111df01000106","5e43a4efa3f5a4de01000062","5e43d10a44c4f9df01000231","5e43e3969a621ade01000110","5e46f989461d04f20100011f","5e5d202b168391de01000085","5e60ea5d839e59df01000121","5e61131f1cc34ede0100006f","5m6gYxfrEhH7KSEWf","65scCLCSXnv4KtdNN","6Ldj9FSHH4La62yHZ","Aqb5WGvvm5jTkproZ","BSvSYiAadyXLqzyTT","C3AYvgLyTmLGNTK4M","D5nD7iE8ftrCK3tAa","FRGkxgaRtfTB4c5dh","FiWWhgjiMgfaEjPn6","G3M5Z7E5HnLqBWhPB","JETWEoCYwoFLNdgkn","MoNWo7scHtHEjwwAS","QCJzkZ4nx3oTc3jxP","T5dyRj6PXDFb2dBYu","ave2ormdgifxS5Q83","ke9rmTz2zgxMFDJnj","uzT5QYuh5aKpds4uB","vYzJ2wzB3yovsNA2Y","zYL76LnrArjuMxrGp","zmdxRffuQ48hM88AJ"],"author_short":["Farrell, M.","Cardoso, R. C.","Dennis, L.","Dixon, C.","Fisher, M.","Kourtis, G.","Lisitsa, A.","Luckcuck, M.","Webster, M"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Farrell"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["R.","C."],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["L."],"suffixes":[]},{"propositions":[],"lastnames":["Dixon"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Kourtis"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Lisitsa"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Luckcuck"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Webster"],"firstnames":["M"],"suffixes":[]}],"title":"Modular Verification of Autonomous Space Robotics","booktitle":"Assurance of Autonomy for Robotic Space Missions Workshop","year":"2019","note":"[<span class=\"fs\">FAIR-SPACE</span>]","bibtex":"@inproceedings{Farrell2019b,\n author = {Farrell, M. and Cardoso, R. C. and Dennis, L. and Dixon, C. and Fisher, M. and Kourtis, G. and Lisitsa, A. and Luckcuck, M. and Webster, M},\n title = {Modular Verification of Autonomous Space Robotics},\n booktitle = {Assurance of Autonomy for Robotic Space Missions Workshop},\n year = {2019},\n note = {[<span class=\"fs\">FAIR-SPACE</span>]}\n}\n\n","author_short":["Farrell, M.","Cardoso, R. C.","Dennis, L.","Dixon, C.","Fisher, M.","Kourtis, G.","Lisitsa, A.","Luckcuck, M.","Webster, M"],"key":"Farrell2019b","id":"Farrell2019b","bibbaseid":"farrell-cardoso-dennis-dixon-fisher-kourtis-lisitsa-luckcuck-etal-modularverificationofautonomousspacerobotics-2019","role":"author","urls":{},"metadata":{"authorlinks":{"cardoso, r":"https://bibbase.org/show?bib=https://rafaelcaue.github.io/publications.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","creationDate":"2019-10-19T09:48:12.407Z","downloads":0,"keywords":[],"search_terms":["modular","verification","autonomous","space","robotics","farrell","cardoso","dennis","dixon","fisher","kourtis","lisitsa","luckcuck","webster"],"title":"Modular Verification of Autonomous Space Robotics","year":2019,"dataSources":["AdmcuDNM8GSatWG9Y","sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend"]}