Crocoddyl
costs Directory Reference