TY - RPRT TI - Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis AU - Adrian Wiltz AU - Dimos V. Dimarogonas PY - 2025 UR - https://arxiv.org/abs/2509.04399 ID - 2509.04399 ER -