PUBLICATION
International Conference
-
Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki: Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems, pp. 216 - 219, PRDC Workshop, 2024.
Daisuke Ishii: A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method, SPIN, pp. 1-18, 2024.
Yuki Yamaguchi, Toshiaki Aoki: Attack Tree Analysis for Adversarial Evasion Attacks, IEEE Pacific Rim International Symposium on Dependable Computing, pp.46-52, 2023.
Technical Report
-
Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida: Modeling Language for Scenario Development of Autonomous Driving Systems, arXiv:2501.09319 (to appear in FormaliSE 2025).
-
Yuki Yamaguchi, Toshiaki Aoki: Attack Tree Analysis for Adversarial Evasion Attacks, arXiv:2312.16957, 11 pages, 2023 (extended version of the paper published in PRDC 2023).