@Article{BRA+23,
author={Thom Badings and Licio Romao and Alessandro Abate and David Parker and Hasan A. Poonawala and Marielle Stoelinga and Nils Jansen},
title={Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions},
journal={Journal of Artificial Intelligence Research},
year={2023},

volume={76},
number={},
pages={341-391},
publisher={},
month={},
note={},
key={}
}