A world-model-based method enables STL guidance for action-only diffusion policies, achieving 100% task success and reducing constraint violations to 4% on a Robomimic can transport task.
Formal methods in robot policy learning and verification: A survey on current techniques and future directions
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.RO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
The authors outline a framework for converting human safety rules and preferences into formal logic constraints for vision-language model assisted robot navigation.
citing papers explorer
-
Temporal Logic Guidance for Action-Only Diffusion Policies with World Models
A world-model-based method enables STL guidance for action-only diffusion policies, achieving 100% task success and reducing constraint violations to 4% on a Robomimic can transport task.
-
From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation
The authors outline a framework for converting human safety rules and preferences into formal logic constraints for vision-language model assisted robot navigation.