@article{seroaiseadvancingroaestimationforrelu,
  title = {SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets},
  author = {Pouya Samanipour and Hasan Poonawala},
  year = {2025},
  eprint = {2504.12269},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2504.12269v1},
}