S. Ståhlberg and H. Geffner, “First-Order Representation Languages for Goal-Conditioned RL”, AAAI, vol. 40, no. 43, pp. 36394–36402, Mar. 2026.