Decidability and complexity for -regular properties of stochastic systems | Publicación