A New Discretization Scheme for One Dimensional Stochastic Differential Equations Using Time Change Method. - Masaaki Fukasawa; Mitsumasa Ikeda (CoRR, 2020)

On the Metric Temporal Logic for Continuous Stochastic Processes. - Mitsumasa Ikeda; Yoriyuki Yamagata; Takayuki Kihara (Log. Methods Comput. Sci., 2024)