@misc{indiciaee9c2c42c8f78,
  title = {Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers},
  author = {Alvaro Detailleur and Guillaume Ducard and Christopher Onder},
  year = {2025},
  url = {https://arxiv.org/abs/2507.10352},
  note = {Source identifier: 2507.10352}
}