TY - RPRT TI - Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum AU - Alvaro Detailleur AU - Dalim Wahby AU - Guillaume Ducard AU - Christopher Onder PY - 2025 UR - https://arxiv.org/abs/2508.15616 ID - 2508.15616 ER -