Adalat, O. and Belardinelli, F. (2026) “Expressive Temporal Specifications for Reward Monitoring”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(24), pp. 19533–19541. doi: 10.1609/aaai.v40i24.39032.