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

A.机器人实验室

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

C.北京机器人实验室

D.天津机器人重点实验室