Fumiya Otsuki
Papers
1
Total Citations
4
H-Index
1
About
Fumiya Otsuki is a researcher focused on the intersection of formal verification and autonomous systems, with a particular emphasis on ensuring the reliability of embedded robotic platforms. His work addresses a critical challenge in modern robotics: how to guarantee safe behavior in autonomous vehicles despite the presence of sensor errors, actuator noise, and environmental disturbances. In his most-cited study, "Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances" (2015, 4 citations), Otsuki applies model checking—a powerful formal method—to verify the correctness of an autonomous robot’s decision-making under uncertainty. This contribution is notable for bridging the gap between theoretical formal verification techniques and practical robotic applications, demonstrating how model checking can be used to detect and mitigate faults before deployment. While his citation count is modest, Otsuki’s work is foundational for researchers interested in safety-critical autonomous systems, offering a rigorous framework for reliability assurance. His research is particularly relevant for students and engineers working on self-driving cars, drones, or industrial robots, where error tolerance and formal guarantees are essential for real-world deployment.
Research Focus
Key Achievements
Top Papers
- 1