Žikelić, Đorđe, Lechner, M., Henzinger, T. A., & Chatterjee, K. (2023). Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. Proceedings of the AAAI Conference on Artificial Intelligence, 37(10), 11926–11935. https://doi.org/10.1609/aaai.v37i10.26407