APA-Zitierstil (7. Ausg.)

Biggar, O., & Zamani, M. (2020). A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic. IEEE robotics and automation letters, 5(2), 2340-2347. https://doi.org/10.1109/LRA.2020.2970634

Chicago-Zitierstil (17. Ausg.)

Biggar, Oliver, und Mohammad Zamani. "A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic." IEEE Robotics and Automation Letters 5, no. 2 (2020): 2340-2347. https://doi.org/10.1109/LRA.2020.2970634.

MLA-Zitierstil (9. Ausg.)

Biggar, Oliver, und Mohammad Zamani. "A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic." IEEE Robotics and Automation Letters, vol. 5, no. 2, 2020, pp. 2340-2347, https://doi.org/10.1109/LRA.2020.2970634.