TY - RPRT TI - Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs AU - Yuki Nishimura AU - Kenta Hoshino PY - 2024 UR - https://arxiv.org/abs/2209.08728 ID - 2209.08728 ER -