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

Synthesis of Neural Barrier Certiﬁcates

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

This dataset has no data

Cite this as

Andrea Peruﬀo, Daniele Ahmed, Alessandro Abate (2024). Dataset: Synthesis of Neural Barrier Certiﬁcates. https://doi.org/10.57702/v4dywra3

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

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 Peruﬀo
More Authors	Daniele Ahmed Alessandro Abate