@misc{indiciae7ed068b5d150,
  title = {SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets},
  author = {Pouya Samanipour and Hasan Poonawala},
  year = {2025},
  url = {https://arxiv.org/abs/2504.12269},
  note = {Source identifier: 2504.12269}
}