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

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems

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.

Data and Resources

This dataset has no data

Cite this as

Yiming Meng, Jun Liu (2024). Dataset: Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems. https://doi.org/10.57702/mcgoxhxy

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.2303.05566
Author	Yiming Meng
More Authors	Jun Liu