Artifact for FM'26 paper: Performance Heuristics for GR(1) Unrealizable Core Computation

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Shachaf Cohen, Shahar Maoz
DOI: 10.5281/zenodo.18523068
Cited by: 0

Abstract

Artifact for FM'26 paper: Performance Heuristics for GR(1) Unrealizable Core Computation

Fields of Study & Subjects

Formal Methods in Verification Petri Nets in System Modeling semigroups and automata theory

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
1 January 2026
Document type
Dataset