Advanced Search
DSpace@MIT

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot

Research and Teaching Output of the MIT Community

Files in this item

Name Size Format Description
AIM-168.ps 77.71Mb Postscript
AIM-168.pdf 5.579Mb PDF

This item appears in the following Collection(s)

MIT-Mirage