Control Barrier Functions for Stochastic Systems and Safety-Critical Control Designs - Yûki Nishimura; Kenta Hoshino (IEEE Transactions on Automatic Control, 2024)