SPECOLA：一种规范驱动的机器人评测工具

Immanuel Ampomah Mensah 发布了 SPECOLA 工具，用于基于信号时序逻辑(STL)规范在仿真环境中评估机器人行为。该工具提供 Python API 和命令行接口，支持连接九种仿真环境和基准测试，包括 LIBERO、RoboCasa、Isaac Lab 和 RoboDojo，能够捕捉任务完成度、参数敏感性和规范遵守情况等传统评测忽略的细节。