@misc{indiciae9e9315d26300,
  title = {Formal Synthesis of Uncertainty Reduction Controllers},
  author = {Marc Carwehl and Calum Imrie and Thomas Vogel and Genaína Rodrigues and Radu Calinescu and Lars Grunske},
  year = {2024},
  url = {https://arxiv.org/abs/2401.17187},
  note = {Source identifier: 2401.17187}
}