@misc{indiciaeb40e621855af,
  title = {Towards formal models and languages for verifiable Multi-Robot Systems},
  author = {Rocco De Nicola and Luca Di Stefano and Omar Inverso},
  year = {2018},
  doi = {10.3389/frobt.2018.00094},
  url = {https://arxiv.org/abs/1804.08091},
  note = {Source identifier: 1804.08091}
}