335 citations · 336 across the 6 of their papers we have counts for
8 papers
Notion of validity for the bilateral classical logic
Ukyo Suzuki, Yoriyuki Yamagata
This paper explores proof-theoretic semantics, a formal approach to inferential semantics. It derives sentence meaning from formalized proofs, building upon Gentzen and Prawitz's w…
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…
Simultaneous estimation of the effective reproducing number and the detection rate of COVID-19
Yoriyuki Yamagata
A major difficulty to estimate (the effective reproducing number) of COVID-19 is that most cases of COVID-19 infection are mild or asymptomatic, therefore true number of infect…
Separation of bounded arithmetic using a consistency statement
Yoriyuki Yamagata
This paper proves Buss's hierarchy of bounded arithmetics does not entirely collapse. More precisely, we p…
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata +2
With the rapid development of software and distributed computing, Cyber-Physical Systems (CPS) are widely adopted in many application areas, e.g., smart grid, autonomous automobile…
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen +2
In this paper, we propose and evaluate the application of unsupervised machine learning to anomaly detection for a Cyber-Physical System (CPS). We compare two methods: Deep Neural…