TY  - RPRT
TI  - Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
AU  - Đorđe Žikelić
AU  - Mathias Lechner
AU  - Thomas A. Henzinger
AU  - Krishnendu Chatterjee
PY  - 2022
UR  - https://arxiv.org/abs/2210.05308
ID  - 2210.05308
ER  -