@InProceedings{Cardoso20e,
  author    = {Cardoso, Rafael C. and Dennis, Louise A. and Farrell, Marie and Fisher, Michael and Luckcuck, Matt},
  year      = {2020},
  title     = {Towards Compositional Verification for Modular Robotic Systems},
  booktitle = {Proceedings Second Workshop on
               Formal Methods for Autonomous Systems,
               Virtual, 7th of December 2020},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {329},
  publisher = {Open Publishing Association},
  pages     = {15-22},
  doi       = {10.4204/EPTCS.329.2},
note = {[<span class="fs">FAIR-SPACE</span>, <span class="rain">RAIN</span>, <span class="orca">ORCA</span>]}
}

{"_id":"rmyENWQEBx8Snr7wm","bibbaseid":"cardoso-dennis-farrell-fisher-luckcuck-towardscompositionalverificationformodularroboticsystems-2020","authorIDs":["MoNWo7scHtHEjwwAS"],"author_short":["Cardoso, R. C.","Dennis, L. A.","Farrell, M.","Fisher, M.","Luckcuck, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise","A."],"suffixes":[]},{"propositions":[],"lastnames":["Farrell"],"firstnames":["Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Luckcuck"],"firstnames":["Matt"],"suffixes":[]}],"year":"2020","title":"Towards Compositional Verification for Modular Robotic Systems","booktitle":"Proceedings Second Workshop on Formal Methods for Autonomous Systems, Virtual, 7th of December 2020","series":"Electronic Proceedings in Theoretical Computer Science","volume":"329","publisher":"Open Publishing Association","pages":"15-22","doi":"10.4204/EPTCS.329.2","note":"[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]","bibtex":"@InProceedings{Cardoso20e,\n author = {Cardoso, Rafael C. and Dennis, Louise A. and Farrell, Marie and Fisher, Michael and Luckcuck, Matt},\n year = {2020},\n title = {Towards Compositional Verification for Modular Robotic Systems},\n booktitle = {Proceedings Second Workshop on\n Formal Methods for Autonomous Systems,\n Virtual, 7th of December 2020},\n series = {Electronic Proceedings in Theoretical Computer Science},\n volume = {329},\n publisher = {Open Publishing Association},\n pages = {15-22},\n doi = {10.4204/EPTCS.329.2},\nnote = {[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]}\n}\n\n","author_short":["Cardoso, R. C.","Dennis, L. A.","Farrell, M.","Fisher, M.","Luckcuck, M."],"key":"Cardoso20e","id":"Cardoso20e","bibbaseid":"cardoso-dennis-farrell-fisher-luckcuck-towardscompositionalverificationformodularroboticsystems-2020","role":"author","urls":{},"metadata":{"authorlinks":{"cardoso, r":"https://bibbase.org/show?bib=https://rafaelcaue.github.io/publications.bib"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","creationDate":"2020-11-29T09:21:46.099Z","downloads":2,"keywords":[],"search_terms":["towards","compositional","verification","modular","robotic","systems","cardoso","dennis","farrell","fisher","luckcuck"],"title":"Towards Compositional Verification for Modular Robotic Systems","year":2020,"dataSources":["AdmcuDNM8GSatWG9Y","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend"]}