SafeDec uses constrained decoding to ensure autoregressive robot navigation foundation models generate actions that provably satisfy STL safety specifications under assumed dynamics.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.RO 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
-
Constrained Decoding for Safe Robot Navigation Foundation Models
SafeDec uses constrained decoding to ensure autoregressive robot navigation foundation models generate actions that provably satisfy STL safety specifications under assumed dynamics.
-
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.