-
Stability Verification in Stochastic Control Systems via Neural Network
The dataset used in the paper is a discrete-time stochastic dynamical system with two novel aspects: (a) using ranking supermartingales (RSMs) to certify almost-sure asymptotic...
