O. Adalat and F. Belardinelli, “Expressive Temporal Specifications for Reward Monitoring”, AAAI, vol. 40, no. 24, pp. 19533–19541, Mar. 2026.