-
Product MDP
The dataset used in this paper is a product MDP constructed from an LTL formula and an LDBA. -
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.
