Yue Fu

Alabama Agricultural and Mechanical University

Papers

Total Citations

H-Index

About

Yue Fu is a researcher in robotics and formal methods, with a focus on runtime verification—a technique that bridges the gap between formal specification and real-world system behavior. Their most-cited work, "Runtime Verification on Robotics Systems" (2015), introduces methods for generating monitors from formal specifications to automatically evaluate system execution, either online during operation or offline from recorded traces. This contribution is critical for ensuring safety and reliability in autonomous systems, where unpredictable environments demand rigorous, real-time oversight. While their citation count is modest, the work addresses a foundational challenge in robotics: how to verify complex behaviors without halting the system. Fu’s research is particularly relevant for students and engineers working on dependable robotics, as it provides practical tools for integrating formal verification into dynamic, resource-constrained platforms. By advancing runtime monitoring, Yue Fu helps pave the way for safer autonomous navigation, human-robot interaction, and mission-critical applications.