Dataset - LDM

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochast...

The dataset used in the paper is a set of controlled Markov systems, which are discrete-time nonlinear stochastic systems with fully observed states and actions.
- Dataset
- JSON
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Sto...

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
- Dataset
- JSON

You can also access this registry using the API (see API Docs).

2 datasets found