@misc{indiciae45cba3be0d21,
  title = {Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems},
  author = {Riccardo De Masellis and Valentin Goranko},
  year = {2020},
  url = {https://arxiv.org/abs/1905.00810},
  note = {Source identifier: 1905.00810}
}