On the Metric Temporal Logic for Continuous Stochastic Processes.

Mitsumasa Ikeda Yoriyuki Yamagata Takayuki Kihara

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

stochastic processes
metric temporal logic
stochastic process
stochastic models
probability distribution
markov processes
random fields
brownian motion
random variables
dynamic bayesian networks
image processing
bayesian networks
non stationary
stochastic model
continuous time bayesian networks