Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

Publication
Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC)