TY  - RPRT
TI  - Correct-by-construction reach-avoid control of partially observable linear stochastic systems
AU  - Thom Badings
AU  - Hasan A. Poonawala
AU  - Marielle Stoelinga
AU  - Nils Jansen
PY  - 2023
UR  - https://arxiv.org/abs/2103.02398
ID  - 2103.02398
ER  -