發送短信 : Stability verification in stochastic control systems via neural network supermartingales

  _  __    _____     _  __    _____     ______  
 | |/ //  |  ___||  | |/ //  |  ___||  /_____// 
 | ' //   | ||__    | ' //   | ||__    `____ `  
 | . \\   | ||__    | . \\   | ||__    /___//   
 |_|\_\\  |_____||  |_|\_\\  |_____||  `__ `    
 `-` --`  `-----`   `-` --`  `-----`   /_//     
                                       `-`