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]
Abstract is missing.