Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

Article Details
Title:	Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness
Article URLs:	https://doi.org/10.1145/3178126.3178148
Alternative Article URLs:
Authors:	Abraham P. Vinod	University of New Mexico
Authors:	Meeko M. K. Oishi	University of New Mexico
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/unm-hscl/hscc2018
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1254990, 1329878
DBLP Key:	conf/hybrid/VinodO18
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2018