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

From MaRDI portal

(Redirected from Dataset:6722210)

Jump to:navigation, search

DOI10.5281/zenodo.14741673ZenodoMaRDI QIDQ6722210FDO

Authors Roy Yatskan, Ilia Shevrin, Shahar Maoz

Publication date 26 January 2025

Copyright license Creative Commons Attribution 4.0 International

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"