Đorđe Žikelić, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees”, AAAI, vol. 37, no. 10, pp. 11926-11935, Jun. 2023.