TY - RPRT TI - On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics AU - Ana María Gómez Ruiz AU - Thao Dang AU - Alexandre Donzé PY - 2026 UR - https://arxiv.org/abs/2604.14440 ID - 2604.14440 ER -