H. Hasanbeig, N. Y. Jeppu, A. Abate, T. Melham, and D. Kroening, “Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint)”, AAAI, vol. 40, no. 47, pp. 39867–39867, Mar. 2026.