@misc{indiciae3d4a75fe4d00,
  title = {Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum},
  author = {Alvaro Detailleur and Dalim Wahby and Guillaume Ducard and Christopher Onder},
  year = {2025},
  url = {https://arxiv.org/abs/2508.15616},
  note = {Source identifier: 2508.15616}
}