%0 Computer Program
%A van Dijk, Tom
%D 2023
%T Artifact of Knor: reactive synthesis using Oink
%U 
%R 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1
%K parity games
%K reactive synthesis
%K binary decision diagrams
%X <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>
%I 4TU.ResearchData