TY - RPRT TI - Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems AU - Pouya Samanipour AU - Hasan Poonawala PY - 2025 UR - https://arxiv.org/abs/2502.03765 ID - 2502.03765 ER -