Artifact for "Driving by Disproof: A Model Checking Approach to Fleet Coordination"

Scope This artifact of the corresponding TACAS paper can be used to reproduce the results presented in the paper and reused to generate completely new results, as is described in detail in section "Advanced Usage" of the readme. (The latter is true despite the missing "reusable" badge, which we were not awarded for rather unrelated reasons.) License The software delivered within the docker container `image.tar` is provided mostly under the terms of the MIT license with a few exceptions which are free for non-commercial use only. Details are stated in `LICENSE.txt` in the container or via this link to the 0.9.5. release of the software on github.