On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks 事件

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks arXiv:2605.24649v1 Announce Type: cross Abstract: Recurrent Neural Networks (RNNs) can learn to predict Signal Temporal Logic (STL) verdicts online from partial trajectories, but deploying them as runtime monitors in safety-critical systems demands more than predictive accuracy. Standard RNN architectures offer no structural guarantee that outputs degrade gracefully under sensor degradation; a dropp