Herd, Benjamin, et al. “Temporal Monitoring of Agent Beliefs Under Uncertainty With Subjective LTL”. Proceedings of the AAAI Symposium Series, vol. 8, no. 1, May 2026, pp. 429-37, doi:10.1609/aaaiss.v8i1.42574.