Yoriyuki Yamagata
Identifiers
- name variant Yoriyuki Yamagata 0.60 · backfill
Papers (6)
- Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning cs.SE · 2018 · author #3
- Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning cs.LG · 2017 · author #2
- Operational Semantics of Process Monitors cs.PL · 2017 · author #2
- Log-based Anomaly Detection of CPS Using a Statistical Method cs.SE · 2017 · author #2
- Consistency proof of a fragment of PV with substitution in bounded arithmetic math.LO · 2014 · author #1
- On Use of an Explicit Congruence Predicate in Bounded Arithmetic math.LO · 2009 · author #1
Mentions
Frequent Coauthors
- Jun Inoue 2 shared papers
- Christopher M. Poskitt 1 shared papers
- Eun-Hye Choi 1 shared papers
- Jianye Hao 1 shared papers
- Jun Sun 1 shared papers
- Osamu Mizuno 1 shared papers
- Shuang Liu 1 shared papers
- Takumi Akazaki 1 shared papers
- Yihai Duan 1 shared papers
- Yoshiyuki Harada 1 shared papers
- Yuqi Chen 1 shared papers