Uncertainty Propagation in Dynamical Systems Using Koopman Eigenfunctions | IEEE Conference Publication | IEEE Xplore