Adalat, O.; Belardinelli, F. Expressive Temporal Specifications for Reward Monitoring. AAAI 2026, 40, 19533-19541.