VI. CONCLUDING REMARKS In this paper, we propose a randomized linear programming approach to the probabilistic invariance problem for a discrete time SHS and present some preliminary promising results on a benchmark example. Further work is needed to