@misc{dagstuhl-artifact-24786,
title = {{Syft4Fond}},
author = {Parretti, Gianmarco},
note = {Software (visited on 2025-10-13)},
url = {https://github.com/GianmarcoDIAG/syft4fond},
doi = {10.4230/artifacts.24786},
}
Related Article
Giuseppe De Giacomo, Antonio Di Stasio, and Gianmarco Parretti. PDDL to DFA: A Symbolic Transformation for Effective Reasoning. In 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 355, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
https://doi.org/10.4230/LIPIcs.TIME.2025.7