@misc{indiciae4dcfba60042b,
  title = {Distributed PROMPT-LTL Synthesis},
  author = {Swen Jacobs and Leander Tentrup and Martin Zimmermann},
  year = {2016},
  doi = {10.4204/eptcs.226.16},
  url = {https://arxiv.org/abs/1509.05144},
  note = {Source identifier: 1509.05144}
}