Datasets
Search results
-
Progress Measures and Tangle Learning algorithm implementation and benchmarks
Stekelenburg, A. (Creator) & van Dijk, T. (Contributor), Zenodo, 23 Jan 2024
DOI: 10.5281/zenodo.10558315, https://zenodo.org/record/10558316 and one more link, https://doi.org/10.5281/zenodo.10558316 (show fewer)
Dataset
-
Artifact of Knor: reactive synthesis using Oink
van Dijk, T. (Creator), 4TU.Centre for Research Data, 9 Nov 2023
DOI: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7, https://data.4tu.nl/datasets/8794d8c0-5959-42f9-ba34-68f2137145a7 and one more link, https://data.4tu.nl/datasets/8794d8c0-5959-42f9-ba34-68f2137145a7/1 (show fewer)
Dataset
-
QuestionMark
Zandbergen, N. (Creator), van Keulen, M. (Creator), van Dijk, T. (Creator) & Flokstra, J. (Creator), Zenodo, 25 Jun 2023
DOI: 10.5281/zenodo.8146101, https://zenodo.org/record/8146101
Dataset