@misc{indiciae4fcb4868aba5,
  title = {Correct-by-Design Teamwork Plans for Multi-Agent Systems},
  author = {Yehia Abd Alrahman and Nir Piterman},
  year = {2023},
  url = {https://arxiv.org/abs/2301.01257},
  note = {Source identifier: 2301.01257}
}