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...

詳細記述

書誌詳細
主要な著者: Esmaeil Zadeh Soudjani, S, Abate, A, Majumdar, R
フォーマット: Journal article
出版事項: Springer Berlin Heidelberg 2016