Data, scripts, and results from SYNTCOMP 2023
From MaRDI portal
Dataset:6696081
DOI10.5281/zenodo.8161423Zenodo8161423MaRDI QIDQ6696081FDOQ6696081
Dataset published at Zenodo repository.
Philipp Schlehuber-Caissier, Guillermo Perez, Swen Jacobs
Publication date: 4 July 2023
Copyright license: Creative Commons Attribution 4.0 International
This artifact contains all data downloaded from the StarExec platform concerning the jobs that ran the LTL, LTLf, and parity-game tracks of the 2023 reactive synthesis competition (SYNTCOMP23).
This page was built for dataset: Data, scripts, and results from SYNTCOMP 2023
