6 citations · 52 across the 26 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023
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…
cs.LO2018★ 4 cited
Searching for an analogue of ATR in the Weihrauch lattice
Takayuki Kihara, Alberto Marcone, Arno Pauly
There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to transl…
cs.LO2016★ 6 cited
Dividing by zero - how bad is it, really?
Takayuki Kihara, Arno Pauly
In computable analysis testing a real number for being zero is a fundamental example of a non-computable task. This causes problems for division: We cannot ensure that the number w…