Specola：按STL规范评测机器人仿真行为

Immanuel Ampomah Mensah 与 Hadas Kress-Gazit 发布 Specola，一个在仿真中按信号时序逻辑（STL）规范评测机器人行为的工具。它提供 Python API 和命令行接口，可接入现有策略执行循环，并给出适配器接口以连接新仿真器。 作者称已提供九个仿真环境与基准的适配器，包括 LIBERO、RoboCasa、Isaac Lab 和 RoboDojo。按其说法，该工具用于补充成功率之外的满足程度、参数敏感性和违规要求等信息；代码与适配器已公开。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。