@article{formalmodellingformultirobotsystems,
  title = {Formal Modelling for Multi-Robot Systems Under Uncertainty},
  author = {Charlie Street and Masoumeh Mansouri and Bruno Lacerda},
  year = {2023},
  eprint = {2305.17018},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.17018v2},
}