APA (7th ed.) Citation

Leahy, K., Asgari, H., Dennis, L. A., Feather, M. S., Fisher, M., Ibanez-Guzman, J., . . . Redfield, S. (2024). Grand Challenges in the Verification of Autonomous Systems.

Chicago Style (17th ed.) Citation

Leahy, Kevin, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibanez-Guzman, Brian Logan, Joanna I. Olszewska, and Signe Redfield. Grand Challenges in the Verification of Autonomous Systems. 2024.

MLA (9th ed.) Citation

Leahy, Kevin, et al. Grand Challenges in the Verification of Autonomous Systems. 2024.