SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation

SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation

Chengyue Huang, Khang Vo Huynh, Sebastian Elbaum, Zsolt Kira, Lu Feng · · 2026

Summary

Robotic manipulation is typically evaluated by task success, but successful completion does not guarantee safe execution. Many rl failures are temporal: a robot may touch a clean surface after contamination or release an object before it is fully inside an enclosure.

Abstract Summary

Robotic manipulation is typically evaluated by task success, but successful completion does not guarantee safe execution. Many rl failures are temporal: a robot may touch a clean surface after contamination or release an object before it is fully inside an enclosure. We introduce SafeManip, a property-driven benchmark to explicitly evaluate temporal rl properties in robotic manipulation, moving beyond prior simulations that largely focus on task completion or per-state constraint violations. SafeManip defines reusable rl templates over finite executions using Linear Temporal Logic over finite traces (LTLf). It maps observed rollouts to symbolic predicate traces and evaluates them with LTLf-based monitors. Its property suite covers eight manipulation rl categories: collision and contact rl, grasp stability, release stability, cross-contamination, action onset, mechanism recovery, object containment, and enclosure access. Templates can be instantiated with task-specific objects, fixtures, regions, or skills, allowing the same rl specifications to generalize across tasks and environments. We evaluate SafeManip on six vision-language-action policies, including $π_0$, $π_{0.5}$, GR00T, and their training variants, across 50 RoboCasa365 household tasks. Results show that even strong models often behave unsafely. Task-success gains do not reliably translate into safer execution: many successful rollouts remain unsafe, while longer-horizon or more complex tasks expose more violations. SafeManip provides a reusable simulation layer for diagnosing temporal rl failures and measuring safe success beyond task completion.

Key Points

  • Introduces SafeManip, advancing simulation research.
  • Detailed simulation demonstrates effectiveness on benchmarks and real-world scenarios.
  • Provides insights into methodology and architectural choices.

Temporal Safety Properties for Robotic Manipulation

A central contribution of SafeManip is to make manipulation safety formally specified, reusable across tasks, and temporally checkable. Many safety failures are not defined by a single unsafe state, but by how events unfold over time: whether an object remains stable after grasping, or whether contamination from handling raw food is followed by sanitization before clean contact.

This section formalizes such failures as temporal safety properties.

Temporal Safety Properties for Robotic Manipulation — SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation
(a) Task success versus safety violation.

Benchmark Implementation and Evaluation Protocol

We release a repository 1 1 1 Code URL: https://github.com/chengyuehuang511/SafeManip containing the SafeManip property templates, task bindings, temporal monitors, rollout processing code, and evaluation scripts.

We instantiate SafeManip in RoboCasa [ 13 ] , a kitchen manipulation simulator that provides articulated fixtures, appliances, diverse objects, and multi-step household tasks while exposing simulator state for grounding symbolic safety predicates.

Benchmark Implementation and Evaluation Protocol — SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation
(b) Rollout outcome decomposition.

Experimental Results

We report experimental results from evaluating the six VLA policies and training variants described in Section 4.4 on the 50 RoboCasa tasks introduced in Section 4.1 . Each evaluated policy is run for 50 rollouts per task, and every rollout is monitored using the instantiated temporal safety properties defined in Section 3 and the monitoring pipeline described in Section 4.2 .

This protocol produces the task completion, temporal safety violation, rollout outcome, and unsafe-state exposure metrics described in Section 4.3 .

Experimental Results — SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation
Figure 3 : RQ2 - Temporal safety failures concentrate in specific categories. Rows denote safety categories, with the number of applicable tasks shown in parentheses. (a) Safety violation rate shows which categories are violated most often. (b) Unsafe-state exposure rate shows which categories produce more persistent unsafe behavior.

Sources and Demonstrations

Figures are reproduced from Huang et al. See the full paper for experimental details and the project page, when the paper links one, for demonstrations and videos.

Share

Related Papers

EgoForce: Forearm-Guided Camera-Space 3D Hand Pose from a Monocular Egocentric Camera
SIGGRAPH 2026

EgoForce: Forearm-Guided Camera-Space 3D Hand Pose from a Monocular Egocentric Camera

Christen Millerdurai, Shaoxiang Wang, Yaxu Xie et al.

Reconstructing the absolute 3D pose and shape of the hands from the user's viewpoint using a single head-mounted camera is crucial for practical egocentric interaction in AR/VR, telepresence, and hand-centric manipulation tasks, where sensing must remain compact and unobtrusive.

manipulation manipulation simulation
Code PDF Intermediate
Code ★ 0
Aligning Flow Map Policies with Optimal Q-Guidance
arXiv

Aligning Flow Map Policies with Optimal Q-Guidance

Christos Ziakas, Alessandra Russo, Avishek Joey Bose

Generative policies based on expressive model classes, such as diffusion-models and flow matching, are well-suited to complex control problems with highly multimodal action distributions.

rl diffusion-models manipulation
PDF Advanced