-
Neural Abstractions for Dynamical Models
The dataset used in this paper is a collection of neural abstractions for dynamical models. The dataset consists of neural networks with different activation functions... -
Discovery of Dynamics via Deep Learning
The dataset used in the paper is a collection of time series data from a dynamical system, which is used to test the performance of the network-based LMMs for discovering... -
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...