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

From MaRDI portal
(Redirected from Dataset:6722210)



DOI10.5281/zenodo.14741673Zenodo14741673MaRDI QIDQ6722210FDOQ6722210

Dataset published at Zenodo repository.

Roy Yatskan, Ilia Shevrin, Shahar Maoz

Publication date: 26 January 2025

Copyright license: Creative Commons Attribution 4.0 International



Description

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







This page was built for dataset: Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Artifact_for_TACAS%2725_paper:_Performance_Heuristics_for_GR(1)_Realizability_Checking_and_Related_Analyses&oldid=54692180"
Powered by MediaWiki