Article

Specola: An STL Specification-Driven Robot Simulation Evaluation Tool

Specola is a tool for evaluating robot behavior in simulation against Signal Temporal Logic (STL) specifications. It provides a Python API and command-line interface that can be integrated into existing policy execution loops. It offers an adapter interface and already provides adapters for nine simulation environments and benchmarks, including LIBERO, RoboCasa, Isaac Lab, and RoboDojo, to supplement success rate with information such as degree of satisfaction, parameter sensitivity, and violated requirements.

Part of the event: Specola: Evaluating Robot Simulation Behavior According to STL Specifications

This page provides a summary and source link only.