You're currently viewing an old version of this dataset. To see the current version, click here.

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.

Data and Resources

Cite this as

Andrea Peruffo, Daniele Ahmed, Alessandro Abate (2024). Dataset: Synthesis of Neural Barrier Certificates. https://doi.org/10.57702/v4dywra3

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.2007.03251
Author Andrea Peruffo
More Authors
Daniele Ahmed
Alessandro Abate