@misc{indiciae477734fed85a,
  title = {A Compositional Approach to Verifying Modular Robotic Systems},
  author = {Matt Luckcuck and Marie Farrell and Angelo Ferrando and Rafael C. Cardoso and Louise A. Dennis and Michael Fisher},
  year = {2026},
  doi = {10.1016/j.robot.2026.105648},
  url = {https://arxiv.org/abs/2208.05507},
  note = {Source identifier: 2208.05507}
}