Ståhlberg, S.; Geffner, H. First-Order Representation Languages for Goal-Conditioned RL. AAAI 2026, 40, 36394-36402.