APA (7th ed.) Citation

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 Style (17th ed.) Citation

Biggar, Oliver, and 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 (9th ed.) Citation

Biggar, Oliver, and 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.