Adam J. Thorpe, Kendric R. Ortiz, Meeko M. K. Oishi: SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions. CDC 2021: 5073-5079