Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions