Realtime Robotics, a company that provides responsive motion planning for industrial robots and autonomous vehicles, has raised $11.7 million.