Polar, C., Barros, L., Freire, V., & Delgado, K. (2025). Dead-End Discovery and Secure Exploration via Large Language Models. In Anais da XXXV Brazilian Conference on Intelligent Systems, (pp. 331-346). Porto Alegre: SBC.