@misc{indiciae3ddc09989e02,
  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 = {2023},
  url = {https://arxiv.org/abs/2103.02398},
  note = {Source identifier: 2103.02398}
}