Yujian Fu

Alabama Agricultural and Mechanical University, Texas A&M University

Papers

Total Citations

H-Index

About

Yujian Fu is a researcher focused on the intersection of formal methods, runtime verification, and autonomous robotic systems. Her work addresses the critical challenge of ensuring reliability and safety in self-adaptive intelligent vehicles and humanoid robots operating in dynamic environments. A key contribution is her development of an approach using SMT solvers to analyze self-adaptive intelligent vehicle systems, enabling rigorous verification of adaptive behaviors (5 citations). She has also advanced runtime verification techniques for robotics, creating monitors from formal specifications to automatically evaluate system execution (3 citations). Fu's research extends to humanoid robot design and task coordination, where she has implemented BIOLOID humanoid robots and developed a component-based framework using Predicate Transition Nets to model and verify complex task coordination (2 citations each). Her work bridges formal verification and practical robotics, contributing to the growing field of dependable autonomous systems.