@misc{indiciae562d3397ae18,
  title = {Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models},
  author = {Jaime Arias and Carlos Olarte and Laure Petrucci and Łukasz Maśko and Wojciech Penczek and Teofil Sidoruk},
  year = {2023},
  url = {https://arxiv.org/abs/2305.04616},
  note = {Source identifier: 2305.04616}
}