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