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
Chicago-Zitierstil (17. Ausg.)Kortik, Sitar, und 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.
MLA-Zitierstil (9. Ausg.)Kortik, Sitar, und 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.