[Accepted by CDC2024] Learning a Formally Verified Control Barrier Function in Stochastic Environment, Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya