@article{filterbasedabstractionswithcorrectness,
  title = {Correct-by-construction reach-avoid control of partially observable linear stochastic systems},
  author = {Thom Badings and Hasan A. Poonawala and Marielle Stoelinga and Nils Jansen},
  year = {2021},
  eprint = {2103.02398},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2103.02398v4},
}