Plan execution language and executive
Optimal control, trajectory optimization, model-predictive control.
A C++ framework that uses inhibition trees for behaviour control.
Software Architecture for Cognitive Robotics
A Python computer vision library
Computer vision and image processing library for Qt.