Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes (Q5357702)
From MaRDI portal
scientific article; zbMATH DE number 6774210
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes |
scientific article; zbMATH DE number 6774210 |
Statements
12 September 2017
0 references
structured stochastic systems
0 references
general-space Markov processes
0 references
formal verification
0 references
dynamic Bayesian networks
0 references
Markov chain abstraction
0 references
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes (English)
0 references
