A stopped-process barrier-certificate framework yields upper and lower bounds on the probability of satisfying finite-time constrained occupation specifications for continuous-time SDEs.
In: ICLR 2025 Workshop: VerifAI: AI Verification in the Wild (2025)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
A stopped-process barrier-certificate framework yields upper and lower bounds on the probability of satisfying finite-time constrained occupation specifications for continuous-time SDEs.