TY - DATA
T1 - Artifact of Knor: reactive synthesis using Oink
PY - 2023/11/09
AU - Tom van Dijk
UR - 
DO - 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1
KW - parity games
KW - reactive synthesis
KW - binary decision diagrams
N2 - <p>This is the artifact belonging to the paper <strong>Knor: reactive synthesis using Oink</strong>.</p><p><br></p><p>The artifact requires the Virtual Machine of TACAS23 obtainable via https://zenodo.org/doi/10.5281/zenodo.7113222</p><p><br></p><p>For information on using the artifact, consult the README files.</p>
ER -