SafeDec uses constrained decoding to ensure autoregressive robot navigation foundation models generate actions that provably satisfy STL safety specifications under assumed dynamics.
Mixed-Integer Programming for Signal Tempo- ral Logic with Fewer Binary Variables,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.RO 2representative citing papers
TWTL robustness is encoded as MILP constraints so open-loop and DFA-driven receding-horizon controllers can maximize satisfaction margin for linear systems.
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.
-
Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming
TWTL robustness is encoded as MILP constraints so open-loop and DFA-driven receding-horizon controllers can maximize satisfaction margin for linear systems.