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, 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.