: Formal Abstractions of Uncountable-STate STochastic Processes.

Sadegh Esmaeil Zadeh Soudjani Caspar Gevaerts Alessandro Abate

Published in: TACAS (2015)

Keyphrases

stochastic processes
stochastic process
random fields
probability distribution
continuous time bayesian networks
state space
random variables
markov processes
dynamic bayesian networks
stochastic models
brownian motion
graphical models
network structure