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 |
Be the first to leave a comment!
