Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

Abraham P. Vinod, Meeko M. K. Oishi
January 2018 featured_pub
Type
Conference paper
Publication
Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC)