Synthesis of Neural Barrier Certificates
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/d7ead1d3-344f-43bd-8def-31424fce4223
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
TIB
创建时间：
2024-12-16
