Our paper Stochastic Neural Control Barrier Functions has been accepted to IEEE Transactions on Automatic Control (TAC)!
