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!
|
Table of 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>