Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems.

Uluc Saranli, Frank Pfenning

Browse the full ICRA paper archive.