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