Max Robotics — Global Service Robot Directory + US Certification

About

Yuki Okura’s research lies at the intersection of formal verification, control theory, and human-robot interaction, with a focus on ensuring safety and efficiency in complex cyber-physical systems. Their most cited work, “Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method” (2021, 6 citations), tackles the critical challenge of verifying safety in systems that blend continuous and discrete behaviors—essential for applications in IoT, healthcare, transportation, and robotics. This contribution provides a rigorous framework for reasoning about multitask hybrid systems, directly addressing reliability in safety-critical environments. In parallel, Okura has advanced human-aware robotics through two 2022 papers on human dense avoidance using coverage control (3 and 2 citations), proposing novel methods to prevent crowding in public spaces—a timely response to challenges highlighted by COVID-19. Their work on assist control for human-robot cooperative transportation (2022, 3 citations) further demonstrates expertise in nonlinear disturbance observers, enabling seamless collaboration when human forces are unmeasurable. By bridging formal methods with practical control solutions, Okura’s research offers foundational tools for safer, more adaptive autonomous systems.