The paper titled “Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions” (link) (pdf) has been accepted to the Journal of Artificial Intelligence Research. This paper extends the theory and implementations in our AAAI paper.