Books
Categories
Proving that Computer Programs Terminate Cleanly
A Synthesis of Manipulator Control Programs from Task-level Specifications
How WATCH Works
Documentation for the WATCH, NEWWATCH, and MetaWATCH Programs