Gaussian Particle Filtering for Nonlinear Systems With Heavy-Tailed Noises: A Progressive Transform-Based Approach | Synapse