Takumi Akazaki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CIKM | AutoDW-TS: Automated Data Wrangling for Time-Series Data. | Lei Liu, So Hasegawa, Shailaja Keyur Sampat, Mehdi Bahrami, Wei-Peng Chen, Kodai Toyota, Takashi Kato, Takumi Akazaki, Akira Ura, Tatsuya Asai |
| 2020 | FlAIRS | Solving Weighted Abduction via Max-SAT Solvers. | Yoichi Sasaki, Takanori Maehara, Takumi Akazaki, Kazeto Yamamoto, Kunihiko Sadamasa |
| 2018 | FM | Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. | Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao |
| 2016 | RV | Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. | Takumi Akazaki |
| 2015 | CAV | Time Robustness in MTL and Expressivity in Hybrid System Falsification. | Takumi Akazaki, Ichiro Hasuo |