TY - RPRT TI - Non-smooth Control Barrier Functions for Stochastic Dynamical Systems AU - Matti Vahs AU - Jana Tumova PY - 2024 UR - https://arxiv.org/abs/2309.06494 ID - 2309.06494 ER -