R-DTLGN is a recurrent ternary logic network that hardens polynomial surrogates to monotone-gate circuits, links STL bounded operators to AND/OR connections for stability and principled abstention, and uses a formula-derived bound to size hidden state.
Robust online monitoring of signal temporal logic
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LG 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
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.
citing papers explorer
-
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
R-DTLGN is a recurrent ternary logic network that hardens polynomial surrogates to monotone-gate circuits, links STL bounded operators to AND/OR connections for stability and principled abstention, and uses a formula-derived bound to size hidden state.
-
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.