Temporal safety monitors for household manipulation rollouts
Robot teams testing kitchen or home manipulation policies can add LTL_f monitors to each rollout log and report safe completion separately from task completion. SafeManip gives a direct implementation pattern: convert simulator state, object poses, contacts, gripper state, fixture state, and task action signals into symbolic predicate traces, then check rules for collision/contact, stable grasp, release stability, cross-contamination, containment, and access.
A useful first test is to instrument a small set of tasks with known safety risk, such as placing an object inside a fixture, handling food-like objects, and opening mechanisms. The report should include success-and-safe, success-but-unsafe, violation category, and unsafe-state exposure. SafeManip found that pi_0.5 raised task success over pi_0 from 8.1% to 9.3%, while its safety violation rate rose from 69.7% to 82.8%. Collision/contact and release stability were major failure sources, so a single success rate can hide the failures that matter during household execution.