TY - RPRT TI - Universal Formulas for Safe Control and Their Neural Network Approximations AU - Pol Mestres AU - Jorge Cortés AU - Eduardo D. Sontag PY - 2026 UR - https://arxiv.org/abs/2505.24744 ID - 2505.24744 ER -