Refined barrier conditions remove the boundedness assumption on auxiliary functions to derive finite-time safety probability bounds in discrete-time stochastic systems and reach-avoid bounds in continuous-time systems.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
Refined barrier conditions remove the boundedness assumption on auxiliary functions to derive finite-time safety probability bounds in discrete-time stochastic systems and reach-avoid bounds in continuous-time systems.