Formal Abstraction and Synthesis of Parametric Stochastic Processes.

Andrea Peruffo Alessandro Abate

Published in: FORMATS (2021)

Keyphrases

stochastic processes
stochastic process
markov processes
stochastic models
probability distribution
random fields
random variables
brownian motion
information extraction
dynamic bayesian networks
machine learning
image processing
image sequences
maximum likelihood
markov chain