Dynamic Bayesian networks for formal verification of structured stochastic processes
We study the problem of finite-horizon probabilistic invariance for discrete-time Markov processes over general (uncountable) state spaces. We compute discrete-time, finite-state Markov chains as formal abstractions of the given Markov processes. Our abstraction differs from existing approaches in t...
| 主要な著者: | , , |
|---|---|
| フォーマット: | Journal article |
| 出版事項: |
Springer Berlin Heidelberg
2016
|