@misc{indiciae02697804bcdc,
  title = {Compositional Design, Implementation, and Verification of Swarms (Technical Report)},
  author = {Florian Furbach and Lucas Clorius and Roland Kuhn and Hernán Melgratti and Alceste Scalas and Emilio Tuosto},
  year = {2026},
  url = {https://arxiv.org/abs/2604.16097},
  note = {Source identifier: 2604.16097}
}