RLRom: Monitoring and Training Reinforcement Learning Agents using Signal Temporal Logic. - Ana María Gómez-Ruiz; Alexandre Donzé; Thao Dang 001 (OVERLAY, 2025)

On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics. - Ana María Gómez-Ruiz; Thao Dang 001; Alexandre Donzé (CoRR, 2026)