ROSCoq: Robots Powered by Constructive Reals.

Abhishek Anand, Ross A. Knepper

Browse the full ITP paper archive.