@article{Adams:CSL:2022,
  title={Formal Control Synthesis for Stochastic Neural Network Dynamic Models},
  author={Adams, Steven Adams and Lahijanian, Morteza and Laurenti, Luca},
  journal={IEEE Control Systems Letters},
  volume={},
  number={},
  year={2022},
  month={},
  pages={},
  publisher={IEEE},
  DOI={10.1109/LCSYS.2022.3178143},
  url={https://arxiv.org/abs/2203.05903},
  note={(to appear)}
}