Method for Low-Cost Environment Partitioning Modeling in Dynamic Update. - Takuto Yamauchi; Kenji Tei; Shinichi Honiden (AIKE, 2020)

A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis. - Takuto Yamauchi; Takanori Hirano; Jialong Li 001; Takafumi Kawasaki; Yin Chen 001; Akira Tsuge; Tadashi Okoshi; Jin Nakazawa; Nobukazu Yoshioka; Georgios Palaiokrassas; Antonios Litke; Kenji Tei (iThings/GreenCom/CPSCom/SmartData/Cybermatics, 2021)

A Formulation of MIP Train Rescheduling at Terminals in Bidirectional Double-Track Lines with a Moving Block and ATO. - Kosuke Kawazoe; Takuto Yamauchi; Kenji Tei (ATMOS, 2022)

Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis. - Jialong Li 001; Takuto Yamauchi; Nianyu Li; Zhengyin Chen; Mingyue Zhang 002; Takanori Hirano; Kenji Tei (ACSOS-C, 2023)

Pre-controller Synthesis for Runtime Controller Synthesis. - Yuki Arioka; Takuto Yamauchi; Kenji Tei (ICCSCE, 2023)

Stepwise Comparison for Minimizing Controller Makespan. - Yuki Shimizu; Takanori Hirano; Takuto Yamauchi; Kenji Tei (ICCSCE, 2023)

FSCS with Error Sharing based on Alpha Weights for Improving Accuracy of Reconstructed Images. - Eri Suzuki; Takuto Yamauchi; Kenji Tei (ICCSCE, 2023)

Towards Context-aware Support for Color Vision Deficiency: An Approach Integrating LLM and AR. - Shogo Morita; Yan Zhang; Takuto Yamauchi; Sinan Chen; Jialong Li 001; Kenji Tei (GCCE, 2024)

Exploring the Improvement of Evolutionary Computation via Large Language Models. - Jinyu Cai; Jinglue Xu; Jialong Li 001; Takuto Yamauchi; Hitoshi Iba; Kenji Tei (GECCO Companion, 2024)

Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers. - Jialong Li 001; Wallace Manzano; Takuto Yamauchi; Nobuhiro Matsuyama; Elisa Yumi Nakagawa; Kenji Tei (SESoS, 2024)

Multi-Grained Guaranteeable Requirement Analysis for Iterative Adaptation. - Jialong Li 001; Takuto Yamauchi; Takanori Hirano; Jinyu Cai; Kenji Tei (IEICE Trans. Inf. Syst., 2025)