Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Uluc Saranli, Frank Pfenning. Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems. In 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy. pages 3705-3710, IEEE, 2007. [doi]

This author has not been identified. Look up 'Uluc Saranli' in GoogleIdentified as Frank Pfenning

runs on WebDSL