Žikelić, Đorđe; Lechner, M.; Henzinger, T. A.; Chatterjee, K. Learning Control Policies for Stochastic Systems With Reach-Avoid Guarantees. AAAI 2023, 37, 11926-11935.