The authors outline a framework for converting human safety rules and preferences into formal logic constraints for vision-language model assisted robot navigation.
NL2STL: Transformation from Logic Natural Language to Sig- nal Temporal Logics using Llama2
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.RO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
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.