Papers
8
Total Citations
155
H-Index
7
About
Tomoya Yamaguchi’s research bridges formal verification, safe autonomy, and novel actuator design, with a focus on making robotic systems both provably safe and physically safe for human interaction. His most impactful contribution is **RTAMT**, an online monitoring library for Signal Temporal Logic (STL) that enables real-time robustness evaluation of cyber-physical systems. With over 65 citations for the core 2020 paper and continued development through 2023, RTAMT has become a key tool for runtime verification in robotics and autonomous systems, including integration with ROS. In safe navigation, Yamaguchi extended Rapidly-exploring Random Trees with Control Barrier Functions (CBFs) to generate motion plans that guarantee safety in crowded, dynamic environments—a work that has already garnered 26 citations. Earlier in his career, he pioneered **electro-rheological gel actuators** for human-coexistence robots, demonstrating a novel linear actuator that combines backdriveability, high-speed response, and large generative force—critical for safe physical human-robot interaction. Across these diverse contributions, Yamaguchi consistently addresses the challenge of ensuring safety—whether through formal runtime monitors, control-theoretic guarantees, or inherently compliant hardware—making his work highly relevant for researchers developing trustworthy autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1RTAMT: Online Robustness Monitors from STL65 citations · 2020
- 2
- 3RTAMT: Online Robustness Monitors from STL20 citations · 2020
- 4RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics12 citations · 2023
- 5Basic research of electro-rheological gel drum for novel linear actuator11 citations · 2009
- 6Electrorheological Gel Linear Actuator for Human-Coexistence Robots9 citations · 2010
- 7
- 8