通过万方数据平台的机构栏目检索，可知“机器人学国家重点实验室“的曾用名是（）

A机器人实验室

B中国科学院机器人学重点实验室

C北京机器人实验室

D天津机器人重点实验室