@misc{indiciae50a6a502aa5f,
  title = {Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis},
  author = {Jan Křetínský and Alexander Manta and Tobias Meggendorfer},
  year = {2019},
  url = {https://arxiv.org/abs/1907.12157},
  note = {Source identifier: 1907.12157}
}