APA (7th ed.) Citation

Bozga, M., & Sifakis, J. (2022). Correct by Design Coordination of Autonomous Driving Systems. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 13703, 13-29. https://doi.org/10.1007/978-3-031-19759-8_2

Chicago Style (17th ed.) Citation

Bozga, Marius, and Joseph Sifakis. "Correct by Design Coordination of Autonomous Driving Systems." Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 13703 (2022): 13-29. https://doi.org/10.1007/978-3-031-19759-8_2.

MLA (9th ed.) Citation

Bozga, Marius, and Joseph Sifakis. "Correct by Design Coordination of Autonomous Driving Systems." Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, vol. 13703, 2022, pp. 13-29, https://doi.org/10.1007/978-3-031-19759-8_2.