Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum. - Alvaro Detailleur; Dalim Wahby; Guillaume Ducard; Christopher Harald Onder (CoRR, 2025)