Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.

Rajab Aghamov, Christel Baier, Jol Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard

Browse the full AAAI paper archive.