Probabilistic reachable and invariant sets for linear systems with correlated disturbance | Publicación