Toshifusa Sekizawa

Papers

Total Citations

H-Index

About

Toshifusa Sekizawa is a researcher dedicated to enhancing the reliability of embedded systems through formal verification, with a particular focus on autonomous robotics. His work centers on applying model checking—a powerful formal method—to ensure that robotic systems behave correctly even in the presence of errors and disturbances. Sekizawa’s key contributions include developing verification frameworks for autonomous robot vehicles, where he models real-world uncertainties to confirm that safety properties and self-localization functions are robust. Notably, his 2015 paper on behavior verification of autonomous vehicles addresses the critical challenge of ensuring reliability as embedded systems become ubiquitous, while his 2013 study on line tracing robots demonstrates practical verification of safety properties using timed automaton models. Though his citation counts are modest (with top papers garnering 3–4 citations), his work represents foundational steps in bridging formal methods with physical robotic applications. Sekizawa’s research is particularly valuable for students and engineers seeking to understand how rigorous verification techniques can be applied to real-world autonomous systems, ensuring they operate safely despite environmental uncertainties and hardware limitations.