TY  - RPRT
TI  - Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games
AU  - Michael Luttenberger
AU  - Philipp J. Meyer
AU  - Salomon Sickert
PY  - 2019
DO  - 10.1007/s00236-019-00349-3
UR  - https://arxiv.org/abs/1903.12576
ID  - 1903.12576
ER  -