@Inproceedings{EPTCS329.2, 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}, editor = {Luckcuck, Matt and Farrell, Marie}, booktitle = {{\rm Proceedings Second Workshop on} Formal Methods for Autonomous Systems, {\rm 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}, }