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
Citace podle Chicago (17th ed.)Biggar, Oliver, a 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.
Citace podle MLA (9th ed.)Biggar, Oliver, a 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..