Software artifact for "Execution and monitoring of HOA automata with HOAX"
Fuente:
Zenodo
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Veröffentlicht: |
Zenodo
2025
|
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866901607267958784 |
|---|---|
| author | Di Stefano, Luca |
| author_facet | Di Stefano, Luca |
| contents | <p>This is a software artifact to promote reproducibility of experiments from the paper "Execution and monitoring of HOA automata with HOAX" (RV 2025).</p> <p>It is a snapshot of directory obtained as follows:</p> <p>1. Clone <code>https://github.com/lou1306/hoax-experiments.git</code> using <code>git</code><br>2. <code>cd</code> into the cloned repository<br>3. Run <code>git submodule init && git submodule update && uv lock</code><br>4. Run <code>make experiments</code></p> <p>Replicating the experiments should only require GNU Make and <code>uv</code>.<br>To replicate, remove file <code>experiments.log</code> and run <code>make experiments</code>.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_15908703 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Software artifact for "Execution and monitoring of HOA automata with HOAX" Di Stefano, Luca <p>This is a software artifact to promote reproducibility of experiments from the paper "Execution and monitoring of HOA automata with HOAX" (RV 2025).</p> <p>It is a snapshot of directory obtained as follows:</p> <p>1. Clone <code>https://github.com/lou1306/hoax-experiments.git</code> using <code>git</code><br>2. <code>cd</code> into the cloned repository<br>3. Run <code>git submodule init && git submodule update && uv lock</code><br>4. Run <code>make experiments</code></p> <p>Replicating the experiments should only require GNU Make and <code>uv</code>.<br>To replicate, remove file <code>experiments.log</code> and run <code>make experiments</code>.</p> |
| title | Software artifact for "Execution and monitoring of HOA automata with HOAX" |
| url | https://doi.org/10.5281/zenodo.15908703 |