Yoriyuki Yamagata

Identifiers

• name variant Yoriyuki Yamagata 0.60 · backfill

Papers (6)

1. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning cs.SE · 2018 · author #3
2. Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning cs.LG · 2017 · author #2
3. Operational Semantics of Process Monitors cs.PL · 2017 · author #2
4. Log-based Anomaly Detection of CPS Using a Statistical Method cs.SE · 2017 · author #2
5. Consistency proof of a fragment of PV with substitution in bounded arithmetic math.LO · 2014 · author #1
6. On Use of an Explicit Congruence Predicate in Bounded Arithmetic math.LO · 2009 · author #1

Mentions

• 1411.7087 #1 · backfill · confidence 0.70 Yoriyuki Yamagata
• 0904.0335 #1 · backfill · confidence 0.70 Yoriyuki Yamagata

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