APA (7th ed.) Citation

Koenig, L., Schildwaechter, C., Klauck, M., & Heinzemann, C. (2025). Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination". Zenodo.

Chicago Style (17th ed.) Citation

Koenig, Lukas, Christian Schildwaechter, Michaela Klauck, and Christian Heinzemann. Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination". Zenodo, 2025.

MLA (9th ed.) Citation

Koenig, Lukas, et al. Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination". Zenodo, 2025.