Žikelić, Đorđe, Mathias Lechner, Thomas A. Henzinger, and Krishnendu Chatterjee. 2023. “Learning Control Policies for Stochastic Systems With Reach-Avoid Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (10):11926-35. https://doi.org/10.1609/aaai.v37i10.26407.