Takumi Akazaki

Identifiers

• name variant Takumi Akazaki 0.60 · backfill

Papers (3)

1. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning cs.SE · 2018 · author #1
2. A Boyer-Moore Type Algorithm for Timed Pattern Matching cs.FL · 2016 · author #2
3. Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version) cs.SY · 2015 · author #1

Mentions

• 1505.06307 #1 · arxiv_oai · confidence 0.70 Takumi Akazaki
• 1505.06307 #1 · backfill · confidence 0.70 Takumi Akazaki

Frequent Coauthors

• Ichiro Hasuo 2 shared papers
• Jianye Hao 1 shared papers
• Masaki Waga 1 shared papers
• Shuang Liu 1 shared papers
• Yihai Duan 1 shared papers
• Yoriyuki Yamagata 1 shared papers