Synthesis of Neural Barrier Certificates

The dataset used in the paper is a set of polynomial and non-polynomial dynamical models, including the Darboux model, the exponential model, the obstacle avoidance problem, the polynomial model, the hybrid model, and the 4D, 6D, and 8D ODE models.