TY - RPRT TI - Provable Probabilistic Safety and Feasibility-Assured Control for Autonomous Vehicles using Exponential Control Barrier Functions AU - Spencer Van Koevering AU - Yiwei Lyu AU - Wenhao Luo AU - John Dolan PY - 2022 UR - https://arxiv.org/abs/2205.03744 ID - 2205.03744 ER -