Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Soudjani, S. E. Z., Abate, A., & Majumdar, R. (2017). Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica, 54(2), 217-242. doi:10.1007/s00236-016-0287-9.