APA (7th ed.) Citation

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

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

Kortik, Sitar, and 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.