APA-Zitierstil (7. Ausg.)

Azaiez, A., Anisi, D. A., Farrell, M., & Luckcuck, M. (2026). A Survey of Formal Methods for Autonomous Robots - List of Identified Tools. Zenodo.

Chicago-Zitierstil (17. Ausg.)

Azaiez, Atef, David A. Anisi, Marie Farrell, und Matt Luckcuck. A Survey of Formal Methods for Autonomous Robots - List of Identified Tools. Zenodo, 2026.

MLA-Zitierstil (9. Ausg.)

Azaiez, Atef, et al. A Survey of Formal Methods for Autonomous Robots - List of Identified Tools. Zenodo, 2026.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.