The paper shows that probabilistic STL verification for nonlinear stochastic systems can be reduced to deterministic verification of an eroded STL formula, with the erosion radius set by a deviation bound.
Safety and security in cyber-physical systems and internet-of-things systems,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
The paper shows that probabilistic STL verification for nonlinear stochastic systems can be reduced to deterministic verification of an eroded STL formula, with the erosion radius set by a deviation bound.