Herd, B.; Kelly, J.; Stolle, R. Temporal Monitoring of Agent Beliefs Under Uncertainty With Subjective LTL. AAAI-SS 2026, 8, 429-437.