Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model
Logic-VLA is introduced, a formal-requirement-aware VLA that conditions on Signal Temporal Logic (STL) specifications supplied at inference time, showing that a single VLA can adapt its behavior to varying formal requirements without requiring a separate policy for each specification.