Description
This is the artifact belonging to the paper Knor: reactive synthesis using Oink. The artifact requires the Virtual Machine of TACAS23 obtainable via https://zenodo.org/doi/10.5281/zenodo.7113222 For information on using the artifact, consult the README files.
| Date made available | 9 Nov 2023 |
|---|---|
| Publisher | 4TU.Centre for Research Data |
Cite this
- DataSetCite