@misc{indiciae787067d79f5f,
  title = {Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers},
  author = {Alvaro Detailleur and Dalim Wahby and Guillaume Ducard and Christopher Onder},
  year = {2025},
  url = {https://arxiv.org/abs/2510.24391},
  note = {Source identifier: 2510.24391}
}