On the Metric Temporal Logic for Continuous Stochastic Processes

Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara

In this paper, we prove measurability of event for which a general continuous-time stochastic process satisfies continuous-time Metric Temporal Logic (MTL) formula. Continuous-time…