Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.16738026 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866902223916630016 |
|---|---|
| author | Koenig, Lukas Schildwaechter, Christian Klauck, Michaela Heinzemann, Christian |
| author_facet | Koenig, Lukas Schildwaechter, Christian Klauck, Michaela Heinzemann, Christian |
| contents | <p>Supplementary material includes:</p> <ul> <li>Raw data of experimental results, divided into the five main sets of experiments: <code>detailed_results_*.7z</code><br>Contains for each run and each iteration: <ul> <li>input towards model checker,</li> <li>output of model checker,</li> <li>series of PNG images showing how the model checker intends to solve the resp. task.<br>(Note: the red "mock EGO" car can be ignored; it is only a visualization artifact and not part of the simulation.)</li> </ul> </li> <li>Videos for all runs, as generated by HighwayEnv: <code>videos*.zip</code></li> </ul> <p> </p> <p>The below <code>inversion_example.gif</code> shows two solutions of task 4, as example.</p> <p> </p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_16738026 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination" Koenig, Lukas Schildwaechter, Christian Klauck, Michaela Heinzemann, Christian <p>Supplementary material includes:</p> <ul> <li>Raw data of experimental results, divided into the five main sets of experiments: <code>detailed_results_*.7z</code><br>Contains for each run and each iteration: <ul> <li>input towards model checker,</li> <li>output of model checker,</li> <li>series of PNG images showing how the model checker intends to solve the resp. task.<br>(Note: the red "mock EGO" car can be ignored; it is only a visualization artifact and not part of the simulation.)</li> </ul> </li> <li>Videos for all runs, as generated by HighwayEnv: <code>videos*.zip</code></li> </ul> <p> </p> <p>The below <code>inversion_example.gif</code> shows two solutions of task 4, as example.</p> <p> </p> |
| title | Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination" |
| url | https://doi.org/10.5281/zenodo.16738026 |