@article{replacingkinfinityfunctionwithleakyrelu,
  title = {Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems},
  author = {Pouya Samanipour and Hasan Poonawala},
  year = {2025},
  eprint = {2502.03765},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2502.03765v2},
}