@misc{indiciaecc2615da6443,
  title = {Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games},
  author = {Michael Luttenberger and Philipp J. Meyer and Salomon Sickert},
  year = {2019},
  doi = {10.1007/s00236-019-00349-3},
  url = {https://arxiv.org/abs/1903.12576},
  note = {Source identifier: 1903.12576}
}