Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model

arXiv:2608.20556v1 Announce Type: new Abstract: Vision-language-action (VLA) models can follow natural-language (NL) task instructions, but such instructions may not precisely specify safety-critical or spatiotemporal requirements on the resulting behavior. We introduce Logic-VLA, a formal-requirem