Dynamic Bayesian networks for formal verification of structured stochastic processes.
Saved in:
| Title: | Dynamic Bayesian networks for formal verification of structured stochastic processes. |
|---|---|
| Authors: | Esmaeil Zadeh Soudjani, Sadegh1, sadegh.soudjani@cs.ox.ac.uk, Abate, Alessandro1, alessandro.abate@cs.ox.ac.uk, Majumdar, Rupak2, rupak@mpi-sws.org |
| Source: | Acta Informatica; Mar2017, Vol. 54 Issue 2, p217-242, 26p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00015903 |
|---|---|
| DOI: | 10.1007/s00236-016-0287-9 |
