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