%0 Conference Paper %1 conf/hybrid/VinodO18 %A Vinod, Abraham P. %A Oishi, Meeko M. K. %B HSCC %D 2018 %E Prandini, Maria %E Deshmukh, Jyotirmoy V. %I ACM %K dblp %P 1-10 %T Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2018.html#VinodO18

@inproceedings{conf/hybrid/VinodO18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Vinod, Abraham P. and Oishi, Meeko M. K.}, biburl = {https://www.bibsonomy.org/bibtex/2a5c0632edd358860659bc56acd279073/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2018}, editor = {Prandini, Maria and Deshmukh, Jyotirmoy V.}, ee = {https://doi.org/10.1145/3178126.3178148}, interhash = {8f0dd3456c0c5213b61addb705a351e4}, intrahash = {a5c0632edd358860659bc56acd279073}, keywords = {dblp}, pages = {1-10}, publisher = {ACM}, timestamp = {2019-03-14T11:38:08.000+0100}, title = {Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2018.html#VinodO18}, year = 2018 }