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]
@inproceedings{SaranliP07,
title = {Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems},
author = {Uluc Saranli and Frank Pfenning},
year = {2007},
doi = {10.1109/ROBOT.2007.364046},
url = {http://dx.doi.org/10.1109/ROBOT.2007.364046},
tags = {logic},
researchr = {https://researchr.org/publication/SaranliP07},
cites = {0},
citedby = {0},
pages = {3705-3710},
booktitle = {2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy},
publisher = {IEEE},
}