Semantic basis vectors of atom robustness scores enable reusable conformal-certified monitoring of ptSTL formulas from visual inputs, with a rolling alternative and validation on driving data.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
SafeDec uses constrained decoding to ensure autoregressive robot navigation foundation models generate actions that provably satisfy STL safety specifications under assumed dynamics.
citing papers explorer
-
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
Semantic basis vectors of atom robustness scores enable reusable conformal-certified monitoring of ptSTL formulas from visual inputs, with a rolling alternative and validation on driving data.
-
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.