Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination.

Lukas Knig, Christian Schildwchter, Michaela Klauck, Christian Heinzemann

Browse the full TACAS paper archive.