Žikelić Đorđe, Lechner M, Henzinger TA, Chatterjee K. Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI [Internet]. 2023Jun.26 [cited 2024Nov.8];37(10):11926-35. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26407