Bai Xue

affiliation not provided to SSRN

SCHOLARLY PAPERS

2

DOWNLOADS

33

TOTAL CITATIONS

0

Scholarly Papers (2)

1.

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems

Number of pages: 39 Posted: 21 Feb 2025
affiliation not provided to SSRN, Peking University, Peking University, National University of Defense Technology and affiliation not provided to SSRN
Downloads 20 (1,176,098)

Abstract:

Loading...

Stochastic Systems, Safe Probabilistic Invariance Verification, Liveness Probabilities, Lower and Upper Bounds

2.

A New Framework for Bounding Reachability Probabilities of Continuous-Time Stochastic Systems

Number of pages: 38 Posted: 21 Feb 2025
Bai Xue
affiliation not provided to SSRN
Downloads 13 (1,259,202)

Abstract:

Loading...

Stochastic Differential Equations, Reachability Probabilities