@misc{indiciae94d7e781ce00,
  title = {Formal Modelling for Multi-Robot Systems Under Uncertainty},
  author = {Charlie Street and Masoumeh Mansouri and Bruno Lacerda},
  year = {2023},
  doi = {10.1007/s43154-023-00104-0},
  url = {https://arxiv.org/abs/2305.17018},
  note = {Source identifier: 2305.17018}
}