Kortik, S. And SARANLI, U. 2014. Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning. IEEE International Conference on Robotics and Automation (ICRA) , (Hong Kong, PEOPLES R CHINA), 3764-3770.

Kortik, S., & SARANLI, U., (2014). Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning . IEEE International Conference on Robotics and Automation (ICRA) (pp.3764-3770). Hong Kong, PEOPLES R CHINA

Kortik, Sitar, And ULUÇ SARANLI. "Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning," IEEE International Conference on Robotics and Automation (ICRA), Hong Kong, PEOPLES R CHINA, 2014

Kortik, Sitar And SARANLI, ULUÇ. "Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning." IEEE International Conference on Robotics and Automation (ICRA) , Hong Kong, PEOPLES R CHINA, pp.3764-3770, 2014

Kortik, S. And SARANLI, U. (2014) . "Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning." IEEE International Conference on Robotics and Automation (ICRA) , Hong Kong, PEOPLES R CHINA, pp.3764-3770.

@conferencepaper{conferencepaper, author={Sitar Kortik And author={ULUÇ SARANLI}, title={Linear Planning Logic: An Efficient Language and Theorem Prover for Robotic Task Planning}, congress name={IEEE International Conference on Robotics and Automation (ICRA)}, city={Hong Kong}, country={PEOPLES R CHINA}, year={2014}, pages={3764-3770} }