Text this: Stability verification in stochastic control systems via neural network supermartingales

            ______     _____    _____     _____   
  ____     /_   _//   / ___//  |  ___||  |__  //  
 |    \\    -| ||-    \___ \\  | ||__      / //   
 | [] ||    _| ||_    /    //  | ||__     / //__  
 |  __//   /_____//  /____//   |_____||  /_____|| 
 |_|`-`    `-----`  `-----`    `-----`   `-----`  
 `-`