Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Groups: Stochastic Systems Organizations: No Organization Filter Results 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