129 citations · 368 across the 70 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
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 M…
cs.LO2015★ 22 cited
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
The goal of this work is to formally abstract a Markov process evolving in discrete time over a general state space as a finite-state Markov chain, with the objective of precisely…