-
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Sto...
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems -
OpenAI Gym
The dataset used in the paper is not explicitly described, but it is mentioned that the authors used several continuous control environments from the OpenAI Gym.
