%0 Journal Article %1 journals/corr/abs-1903-12576 %A Luttenberger, Michael %A Meyer, Philipp J. %A Sickert, Salomon %D 2019 %J CoRR %K dblp %T Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games. %U http://dblp.uni-trier.de/db/journals/corr/corr1903.html#abs-1903-12576 %V abs/1903.12576

@article{journals/corr/abs-1903-12576, added-at = {2019-04-02T00:00:00.000+0200}, author = {Luttenberger, Michael and Meyer, Philipp J. and Sickert, Salomon}, biburl = {https://www.bibsonomy.org/bibtex/2aa6df1c9fa0d3dfd58a2b5f249c6365f/dblp}, ee = {http://arxiv.org/abs/1903.12576}, interhash = {455a5fb739c39ce6fec1e49e2d2b5c15}, intrahash = {aa6df1c9fa0d3dfd58a2b5f249c6365f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-04-03T11:47:18.000+0200}, title = {Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1903.html#abs-1903-12576}, volume = {abs/1903.12576}, year = 2019 }