Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms

Publication
Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC)