ROSRV: Runtime verification for robots
STOMP: Stochastic trajectory optimization for motion planning