Takumi Akazaki

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 10

Top Topics

Gaussian Process Regression

Top Venues

FLAIRS Conference

Publications

Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. ASE (2021)
Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. IEEE Trans. Software Eng. 47 (12) (2021)
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. CoRR (2021)
Yoichi Sasaki, Takanori Maehara, Takumi Akazaki, Kazeto Yamamoto, Kunihiko Sadamasa
Solving Weighted Abduction via Max-SAT Solvers. FLAIRS Conference (2020)
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. CoRR (2018)
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. FM (2018)
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
Causality-Aided Falsification. FVAV@iFM (2017)
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
A Boyer-Moore Type Algorithm for Timed Pattern Matching. CoRR (2016)
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
A Boyer-Moore Type Algorithm for Timed Pattern Matching. FORMATS (2016)
Takumi Akazaki
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. RV (2016)
Takumi Akazaki, Ichiro Hasuo
Time Robustness in MTL and Expressivity in Hybrid System Falsification. CAV (2) (2015)
Takumi Akazaki, Ichiro Hasuo
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version). CoRR (2015)
Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga
Input Synthesis for Sampled Data Systems by Program Logic. HAS (2014)