Sitar Kortik, Uluc Saranli. Linear planning logic: An efficient language and theorem prover for robotic task planning. In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014. pages 3764-3770, IEEE, 2014. [doi]
@inproceedings{KortikS14,
title = {Linear planning logic: An efficient language and theorem prover for robotic task planning},
author = {Sitar Kortik and Uluc Saranli},
year = {2014},
doi = {10.1109/ICRA.2014.6907404},
url = {http://dx.doi.org/10.1109/ICRA.2014.6907404},
researchr = {https://researchr.org/publication/KortikS14},
cites = {0},
citedby = {0},
pages = {3764-3770},
booktitle = {2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014},
publisher = {IEEE},
}