Kortik, S., & Saranli, U. (2014, May). Linear planning logic: An efficient language and theorem prover for robotic task planning. Proceedings - IEEE International Conference on Robotics and Automation, 3764-3770. https://doi.org/10.1109/ICRA.2014.6907404
Citace podle Chicago (17th ed.)Kortik, Sitar, a Uluc Saranli. "Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning." Proceedings - IEEE International Conference on Robotics and Automation May. 2014: 3764-3770. https://doi.org/10.1109/ICRA.2014.6907404.
Citace podle MLA (9th ed.)Kortik, Sitar, a Uluc Saranli. "Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning." Proceedings - IEEE International Conference on Robotics and Automation, May. 2014, pp. 3764-3770, https://doi.org/10.1109/ICRA.2014.6907404.