Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization
This is the artifact for the following paper: > Jan J.M. Martens and Maurice Laveaux. Faster Signature Refinement for Branching Bisimilarity Minimization. TACAS 2026. The ltsinfo-artifact-saved.zip zip contains a prebuilt docker image, from the same dockerfile included in the ltsinfo-artifact.zip. That one requires not internet access to use.
Authors
- Jan Martens (ORCID: https://orcid.org/0000-0003-4797-7735)
- Maurice Laveaux (ORCID: https://orcid.org/0000-0001-8732-7580)
Institutions
- Leiden University (NL)
- Eindhoven University of Technology (NL)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-01-25
- DOI
- https://doi.org/10.5281/zenodo.18369265
- Primary Topic
- Natural Language Processing Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00