STL Constraint Enforcement for Robotics Foundation Models via Action Distribution Optimization

A new framework enforces Signal Temporal Logic (STL) constraints on pretrained robotics foundation models without parameter updates. By computing minimally modified action distributions via forward dynamics propagation, the method ensures compliance with time-bounded and sequential safety objectives during execution.