TY - RPRT TI - Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions AU - Thom Badings AU - Licio Romao AU - Alessandro Abate AU - David Parker AU - Hasan A. Poonawala AU - Marielle Stoelinga AU - Nils Jansen PY - 2023 DO - 10.1613/jair.1.14253 UR - https://arxiv.org/abs/2301.01526 ID - 2301.01526 ER -