@article{Luttenberger_2019,
    doi = {10.1007/s00236-019-00349-3},
    url = {https://doi.org/10.1007%2Fs00236-019-00349-3},
    year = {2019},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {57},
    number = {1-2},
    pages = {3--36},
    author = {Michael Luttenberger and Philipp J. Meyer and Salomon Sickert},
    title = {Practical synthesis of reactive systems from {LTL} specifications via parity games},
    journal = {Acta Informatica}
}

@article{Luttenberger_2019, doi = {10.1007/s00236-019-00349-3}, url = {https://doi.org/10.1007%2Fs00236-019-00349-3}, year = {2019}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {57}, number = {1-2}, pages = {3--36}, author = {Michael Luttenberger and Philipp J. Meyer and Salomon Sickert}, title = {Practical synthesis of reactive systems from {LTL} specifications via parity games}, journal = {Acta Informatica} }