ROSCoq: Robots Powered by Constructive Reals

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22102-1_3 ◽

2015 ◽

pp. 34-50 ◽

Cited By ~ 9

Author(s):

Abhishek Anand ◽

Ross Knepper

Download Full-text