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: 2024 63rd IEEE Conference on Decision and Control (CDC)
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.