Welcome to the online reference for our ITP2015 paper "ROSCoq : Robots powered by Constructive Reals"

This page guides the reader to key parts of our development:

The contents below reflect the state of ROSCoq at the submission of the ITP15 paper. For the latest and greatest, please visit the ROSCOQ wiki at github.

Physical Aspects : Cyber Aspects : Cyber-physical Aspects : Applications of the framework :