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
|