TY - RPRT TI - Construction of Control Barrier Functions Using Predictions with Finite Horizon AU - Adrian Wiltz AU - Xiao Tan AU - Dimos V. Dimarogonas PY - 2023 UR - https://arxiv.org/abs/2305.05294 ID - 2305.05294 ER -