335 citations · 453 across the 13 of their papers we have counts for
13 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…
On proving consistency of equational theories in Bounded Arithmetic
Arnold Beckmann, Yoriyuki Yamagata
We consider pure equational theories that allow substitution but disallow induction, which we denote as PETS, based on recursive definition of their function symbols. We show that…
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…
Operational Semantics of Process Monitors
Jun Inoue, Yoriyuki Yamagata
CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It…
Log-based Anomaly Detection of CPS Using a Statistical Method
Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno +1
Detecting anomalies of a cyber physical system (CPS), which is a complex system consisting of both physical and software parts, is important because a CPS often operates autonomous…
Consistency proof of a fragment of PV with substitution in bounded arithmetic
Yoriyuki Yamagata
This paper presents proof that Buss's can prove the consistency of a fragment of Cook and Urquhart's from which induction has been removed but substitution ha…
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking
Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa
If a Micro Processor Unit (MPU) receives an external electric signal as noise, the system function will freeze or malfunction easily. A new resilience strategy is implemented in or…
Bounded Arithmetic in Free Logic
Yoriyuki Yamagata
One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories…
On Use of an Explicit Congruence Predicate in Bounded Arithmetic
Yoriyuki Yamagata
We introduce system S^2_0E, a bounded arithmetic corresponding to Buss's S^2_0 with the predicate E which signifies the existence of the value. Then, we show that we can Σ^b_2-defi…