Takuto Yamauchi
Papers
1
Total Citations
5
H-Index
1
About
Takuto Yamauchi is a researcher advancing the field of self-adaptive systems, with a particular focus on integrating formal methods into real-world robotics. His key research areas include discrete controller synthesis (DCS), models@runtime, and autonomous decision-making for robotic platforms. Yamauchi’s major contribution lies in bridging the gap between theoretical controller synthesis and practical deployment, as demonstrated in his highly cited 2023 paper, "Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis." This work showcases how DCS can enable a physical robot to autonomously adapt its path-finding behavior in dynamic environments, grounding abstract adaptation principles in tangible, real-world operation. With 5 citations, this demo paper has quickly become a reference point for researchers exploring runtime verification and self-adaptation in robotics. Yamauchi’s work is notable for its emphasis on practical validation, moving beyond simulation to demonstrate that formal synthesis techniques can govern real hardware under uncertainty. His achievements highlight a promising trajectory for making self-adaptive systems both theoretically rigorous and practically viable.
Research Focus
Key Achievements
Top Papers
- 1