There is a newer version of the record available.

Published January 26, 2025 | Version v2
Dataset Open

Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses

Authors/Creators

  • 1. ROR icon Tel Aviv University

Description

Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses

Files

README.txt

Files (59.0 MB)

Name Size Download all
md5:587462296032bba1316ccdaf8da5c4cb
1.2 MB Preview Download
md5:160d87c8bac66d10d20dce5bf1c56d78
179.9 kB Preview Download
md5:c330c1a75ba7099899a2e18ab3b4a903
12.3 MB Preview Download
md5:8fab1ac16bff6ae816456bbc75951280
1.6 kB Preview Download
md5:65020b1adc21dd2e2b21cec430207171
2.9 kB Preview Download
md5:1198f20060cd486155155a52fe66a06f
749 Bytes Preview Download
md5:f89f7be5a4b001c44b5dab930dcbbc4f
5.8 MB Preview Download
md5:d3eba4d2103e6b3677d95744c7cdec96
39.4 MB Preview Download