task-specification
OpTaS: An optimization-based task specification library for trajectory optimization and model predictive control.