Featured Dataset
Supplementary Material for “Driving by Disproof: A Model Checking Approach to Fleet Coordination”
Supplementary material includes: Raw data of experimental results, divided into the five main sets of experiments: detailed_results_*.7zContains for each run and each iteration: input towards model checker, output of model checker, ser
File Size2.3 GB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views123
Total Downloads187
Supplementary material includes:
- Raw data of experimental results, divided into the five main sets of experiments:
detailed_results_*.7z
Contains for each run and each iteration:- input towards model checker,
- output of model checker,
- series of PNG images showing how the model checker intends to solve the resp. task.
(Note: the red “mock EGO” car can be ignored; it is only a visualization artifact and not part of the simulation.)
- Videos for all runs, as generated by HighwayEnv:
videos*.zip
The below inversion_example.gif shows two solutions of task 4, as example.
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Koenig, Lukas (2026). Supplementary Material for “Driving by Disproof: A Model Checking Approach to Fleet Coordination”. https://doi.org/10.5281/zenodo.19594853