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.
Robustness of temporal logic specifications for continuous-time signals,
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
The authors formulate robust optimization problems to synthesize controllers that maximize resilience to disturbances or minimize control effort while satisfying temporal logic specifications, providing exact solutions for linear systems and scenario-based probabilistic guarantees for nonlinear ones
A predicate-erosion framework using contraction-based probabilistic reachable tubes turns chance-constrained STL planning for stochastic nonlinear systems into deterministic trajectory optimization that achieves high-probability specification satisfaction.
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.
-
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
The authors formulate robust optimization problems to synthesize controllers that maximize resilience to disturbances or minimize control effort while satisfying temporal logic specifications, providing exact solutions for linear systems and scenario-based probabilistic guarantees for nonlinear ones
-
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
A predicate-erosion framework using contraction-based probabilistic reachable tubes turns chance-constrained STL planning for stochastic nonlinear systems into deterministic trajectory optimization that achieves high-probability specification satisfaction.