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
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
fields
cs.RO 3roles
background 2polarities
background 2representative citing papers
A combined SHARD and STPA hazard analysis of a mammography support robot reveals interaction-based risks and translates them into safety constraints that reduce dependence on perfect human timing.
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.
-
Hazard Management in Robot-Assisted Mammography Support
A combined SHARD and STPA hazard analysis of a mammography support robot reveals interaction-based risks and translates them into safety constraints that reduce dependence on perfect human timing.
- Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study