@misc{https://doi.org/10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1,
  doi = {10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1},
  url = {},
  author = {van Dijk, Tom},
  keywords = {parity games, reactive synthesis, binary decision diagrams},
  title = {Artifact of Knor: reactive synthesis using Oink},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {GPL-3.0},
}