Linear planning logic: An efficient language and theorem prover for robotic task planning.

Sitar Kortik, Uluc Saranli

Browse the full ICRA paper archive.