Login / Signup
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes.
Sadegh Esmaeil Zadeh Soudjani
Alessandro Abate
Published in:
SIAM J. Appl. Dyn. Syst. (2013)
Keyphrases
</>
stochastic processes
stochastic process
random fields
probability distribution
stochastic models
markov processes
random variables
model checking
brownian motion
dynamic bayesian networks
microarray
visual tracking
continuous time bayesian networks