@misc{indiciaec9c9bb88f846,
  title = {Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions},
  author = {Thom Badings and Licio Romao and Alessandro Abate and David Parker and Hasan A. Poonawala and Marielle Stoelinga and Nils Jansen},
  year = {2023},
  doi = {10.1613/jair.1.14253},
  url = {https://arxiv.org/abs/2301.01526},
  note = {Source identifier: 2301.01526}
}