Wenrui Meng

Papers

Total Citations

H-Index

About

Wenrui Meng is a researcher in robotics and formal verification, whose work focuses on the safe and reliable deployment of autonomous control systems. His key contributions lie at the intersection of robot operating systems (ROS) and formal methods, particularly in ensuring platform-independent control software can be verified for correctness before deployment. His most-cited paper, "Verified ROS-Based Deployment of Platform-Independent Control Systems" (2015, 12 citations), addresses a critical challenge in robotics: bridging the gap between high-level control algorithms and their low-level implementation on diverse hardware platforms. By developing techniques to formally verify ROS-based systems, Meng helps prevent runtime errors in safety-critical applications, such as autonomous vehicles and industrial robots. While his citation count is modest, his work is foundational for researchers seeking to integrate formal verification into practical robotic systems, offering a rigorous approach to software reliability. Meng’s research is particularly valuable for students and engineers working on dependable autonomous systems, as it provides a pathway to deploy verified, platform-agnostic control solutions without sacrificing performance or safety.