B. Herd, J. Kelly, and R. Stolle, “Temporal Monitoring of Agent Beliefs Under Uncertainty with Subjective LTL”, AAAI-SS, vol. 8, no. 1, pp. 429–437, May 2026.