Aghamov, R.; Baier, C.; Ouaknine, J.; Piribauer, J.; Vahanwala, M.; Vialard, I. Temporal Properties of Conditional Independence in Dynamic Bayesian Networks. AAAI 2026, 40, 36601-36609.