R. Aghamov, C. Baier, J. Ouaknine, J. Piribauer, M. Vahanwala, and I. Vialard, “Temporal Properties of Conditional Independence in Dynamic Bayesian Networks”, AAAI, vol. 40, no. 43, pp. 36601–36609, Mar. 2026.