Unbounded-time safety verification of stochastic differential dynamics

DOI10.1007/978-3-030-53291-8_18zbMath1478.68155arXiv2006.01858OpenAlexW3043808265MaRDI QIDQ2226745

Shenghua Feng, Mingshuai Chen, Sriram Sankaranarayanan, Naijun Zhan, Bai Xue

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2006.01858

zbMATH Keywords

stochastic differential equations (SDEs)barrier certificatesfailure probability boundunbounded safety verification

Mathematics Subject Classification ID

Stochastic ordinary differential equations (aspects of stochastic analysis) (60H10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Safety verification for regime-switching jump diffusions via barrier certificates

This page was built for publication: Unbounded-time safety verification of stochastic differential dynamics