A runtime monitor verifies ReLU-based neural barrier certificates over a finite lookahead horizon, detecting safety violations online without access to the control policy.
In: Proceedings of the 24th international conference on hybrid systems: computation and control
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SC 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Formal Verification of Neural Certificates Done Dynamically
A runtime monitor verifies ReLU-based neural barrier certificates over a finite lookahead horizon, detecting safety violations online without access to the control policy.