Linear planning logic: An efficient language and theorem prover for robotic task planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sitar Kortik' in GoogleThis author has not been identified. Look up 'Uluc Saranli' in Google

runs on WebDSL