TY - RPRT TI - Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints AU - Adrian Wiltz AU - Dimos V. Dimarogonas PY - 2025 UR - https://arxiv.org/abs/2504.15830 ID - 2504.15830 ER -