Home     Research     Links    

Research Interests:

Robotic task planning, automated reasoning, linear logic