Temporal Properties of Conditional Independence in Dynamic Bayesian Networks

Rajab Aghamov, Christel Baier, Joel Ouaknine +3

Dynamic Bayesian networks (DBNs) are compact graphical representations used to model probabilistic systems where interdependent random variables and their distributions evolve over…