[2403.08178] Learning Barrier-Certified Polynomial Dynamical Systems for Obstacle Avoidance with Robots