Yukihiro Sasaki
Papers
1
Total Citations
3
H-Index
1
About
Yukihiro Sasaki is a researcher in formal verification and embedded systems, with a focus on ensuring the reliability of safety-critical software through model checking and timed automata. His most-cited work, "Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model" (2013, 3 citations), demonstrates a practical approach to applying formal verification techniques to physical embedded systems. In this study, Sasaki models a line tracing robot’s control program as a timed automaton and verifies its safety properties, bridging the gap between theoretical verification methods and real-world robotics applications. This work highlights his contribution to making formal methods more accessible for embedded system design, particularly in educational and prototyping contexts. Though his citation count is modest, Sasaki’s research underscores the importance of rigorous verification in preventing failures in autonomous systems. His approach serves as a valuable case study for students and engineers seeking to integrate formal verification into embedded development, emphasizing that even small-scale projects can benefit from mathematically grounded safety analysis.
Research Focus
Key Achievements
Top Papers
- 1