Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

Abraham P. Vinod, Meeko M. K. Oishi. Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. pages 1-10, ACM, 2018. [doi]

Abstract

Abstract is missing.