@misc{indiciaec4704b6236a6,
  title = {Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization},
  author = {Jana Tumova and Dimos V. Dimarogonas},
  year = {2016},
  url = {https://arxiv.org/abs/1610.08380},
  note = {Source identifier: 1610.08380}
}