Takuto Yamauchi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Controller Synthesis

Tracking Objects

Context Aware Mobile

Top Venues

Publications

Jinyu Cai, Jinglue Xu, Jialong Li, Takuto Yamauchi, Hitoshi Iba, Kenji Tei
Exploring the Improvement of Evolutionary Computation via Large Language Models. CoRR (2024)
Jinyu Cai, Jinglue Xu, Jialong Li, Takuto Yamauchi, Hitoshi Iba, Kenji Tei
Exploring the Improvement of Evolutionary Computation via Large Language Models. GECCO Companion (2024)
Shogo Morita, Yan Zhang, Takuto Yamauchi, Sinan Chen, Jialong Li, Kenji Tei
Towards Context-aware Support for Color Vision Deficiency: An Approach Integrating LLM and AR. CoRR (2024)
Jialong Li, Wallace Manzano, Takuto Yamauchi, Nobuhiro Matsuyama, Elisa Yumi Nakagawa, Kenji Tei
Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers. SESoS@ICSE (2024)
Eri Suzuki, Takuto Yamauchi, Kenji Tei
FSCS with Error Sharing based on Alpha Weights for Improving Accuracy of Reconstructed Images. ICCSCE (2023)
Yuki Shimizu, Takanori Hirano, Takuto Yamauchi, Kenji Tei
Stepwise Comparison for Minimizing Controller Makespan. ICCSCE (2023)
Yuki Arioka, Takuto Yamauchi, Kenji Tei
Pre-controller Synthesis for Runtime Controller Synthesis. ICCSCE (2023)
Jialong Li, Takuto Yamauchi, Nianyu Li, Zhengyin Chen, Mingyue Zhang, Takanori Hirano, Kenji Tei
Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis. ACSOS-C (2023)
Kosuke Kawazoe, Takuto Yamauchi, Kenji Tei
A Formulation of MIP Train Rescheduling at Terminals in Bidirectional Double-Track Lines with a Moving Block and ATO. ATMOS (2022)
Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, Kenji Tei
A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis. iThings/GreenCom/CPSCom/SmartData/Cybermatics (2021)
Takuto Yamauchi, Kenji Tei, Shinichi Honiden
Method for Low-Cost Environment Partitioning Modeling in Dynamic Update. AIKE (2020)