TY - RPRT TI - Reinforcement Learning with Symbolic Reward Machines AU - Thomas Krug AU - Daniel Neider PY - 2026 UR - https://arxiv.org/abs/2603.03068 ID - 2603.03068 ER -