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.
BibTex:
