Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

International Conference on Hybrid Systems: computation and control

Authors 0

1. Author list not loaded yet.