Available papers

• "Running on Rough Terrain"
  How to run up and down hills and run on slippery surfaces without falling down. A version was presented at IEEE Computer Animation '95, in Geneva, Switzerland.
• "Why Legs have Three Joints."
  Three joints are a big win on difficult terrain. Here's why.
• Animats in action - videos.
  See it all happen, if you have substantial network bandwidth or patience.

Drafts for comment

• Strict mode for C++
  Our proposal for making C++ memory-safe. We write enough of it to want to make it better.
• Strict mode for C
  Our proposal for making C memory-safe. Similar to the above, but at a lower level.
• portable application framework for OpenGL programs
  Menu bars and document windows on top of OpenGL. Obsolete.

Historical work

• A Geometric Approach to Reasoning about the Physical World (1986)
  Early thinking that led to Animats
• The Pascal-F Verifier
  One of the first automatic program verification systems, developed at Ford Aerospace from 1981 to 1985.
  

  Pascal-F Verifier User Manual, version 2 (1985) (.pdf)
  Practical Program Verification, by S. Johnson and J. Nagle (1983) (from ACM Library)