TY  - RPRT
TI  - Formal Synthesis of Uncertainty Reduction Controllers
AU  - Marc Carwehl
AU  - Calum Imrie
AU  - Thomas Vogel
AU  - Genaína Rodrigues
AU  - Radu Calinescu
AU  - Lars Grunske
PY  - 2024
UR  - https://arxiv.org/abs/2401.17187
ID  - 2401.17187
ER  -