Specola：基于 STL 规范驱动机器人仿真评测工具

Specola 是一个在仿真中按信号时序逻辑（STL）规范评测机器人行为的工具，提供 Python API 和命令行接口，可接入现有策略执行循环。它给出适配器接口，并已提供 LIBERO、RoboCasa、Isaac Lab、RoboDojo 等九个仿真环境与基准的适配器，用于补充成功率之外的满足程度、参数敏感性和违规要求等信息。