Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
Proceedings - IEEE International Conference on Robotics and Automation - Singapore
doi 10.1109/robot.2007.364046
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 2007
Authors
Publisher
IEEE