Kozo Okano

Papers

Total Citations

H-Index

About

Kozo Okano is a researcher dedicated to ensuring the reliability of autonomous robotic systems through formal verification methods. His primary research areas include model checking, timed automaton modeling, and the verification of safety properties in embedded systems. Okano’s major contributions focus on applying formal verification techniques to real-world robotic platforms, such as autonomous robot vehicles and line tracing robots, to guarantee their correct behavior in the presence of errors and disturbances. His most cited works, including "Towards Verification of Robot Design for Self-localization" (2017, 4 citations) and "Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances" (2015, 4 citations), demonstrate his pioneering approach to bridging theoretical formal methods with practical robotics challenges. Notably, his 2013 paper on verifying safety properties of a line tracing robot using a timed automaton model (3 citations) exemplifies his hands-on methodology, using physical embedded systems to validate verification techniques. While his citation counts reflect a focused, niche impact, Okano’s work is significant for advancing the reliability of autonomous systems, offering foundational insights for students and researchers interested in formal verification, robotics, and embedded system safety.