TY - RPRT TI - First-Order Representation Languages for Goal-Conditioned RL AU - Simon Ståhlberg AU - Hector Geffner PY - 2025 UR - https://arxiv.org/abs/2512.19355 ID - 2512.19355 ER -