机器人 / 具身智能

Validating Generalist Robots with Situation Calculus and STL Falsification

用情况演算和STL反例检验通用机器人

Changwen Li, Rongjie Yan, Chih-Hong Cheng, Jian Zhang

机构 * Key Laboratory of Software System, ISCAS, China（软件系统重点实验室，中国） ； Carl von Ossietzky Universität Oldenburg, Germany（奥尔登堡卡尔·冯·奥西特齐大学，德国） 纠错

专题命中 机器人基础模型 ：manipulation(abstract)；分类 cs.RO、cs.AI

AI总结 本文提出结合情况演算和STL反例检验的两层框架，用于验证通用机器人，通过抽象推理和具体模拟揭示失败案例，提升机器人自主性验证效果。

SOP: A Scalable Online Post-Training System for Vision-Language-Action Models

SOP：一种可扩展的在线后训练系统用于视觉-语言-动作模型

Mingjie Pan, Siyuan Feng, Qinglin Zhang, Xinchen Li, Jianheng Song, Chendi Qu, Yi Wang, Chuankang Li, Ziyu Xiong, Zhi Chen, Yi Liu, Jianlan Luo

机构 * Agibot Research（Agibot研究机构） ； Shanghai Innovation Institute（上海创新研究院） 纠错

专题命中 机器人基础模型 ：manipulation(abstract)；分类 cs.RO

AI总结 SOP系统通过在线分布式后训练提升视觉-语言-动作模型在现实世界中的性能，实现高效可靠的多任务适应。