On the Metric Temporal Logic for Continuous Stochastic Processes.

Mitsumasa Ikeda Yoriyuki Yamagata Takayuki Kihara

Published in: CoRR (2023)

Keyphrases

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