Max Robotics — Global Service Robot Directory + US Certification

About

Jie Fu is a prominent researcher at the intersection of formal methods, control theory, and robotics, with a particular focus on temporal logic-based control synthesis, stochastic systems, and reinforcement learning for autonomous robots. His work addresses one of the most challenging problems in modern robotics and autonomous systems: how to design controllers that provably satisfy complex, real-world specifications while operating under uncertainty. Fu's most influential contributions include developing computational frameworks for optimal control of stochastic systems under metric interval temporal logic constraints—work that bridges the gap between formal verification and practical control design. His research on probabilistic semantic maps (30 citations) extended these ideas to realistic robotic environments where map uncertainty poses fundamental challenges for correctness guarantees. Recognizing scalability limitations in centralized approaches, he further pioneered distributed optimization methods for Markov decision processes, enabling broader applicability to large-scale systems. More recently, Fu has expanded into soft robotics, demonstrating how reinforcement learning can effectively regulate biologically inspired locomotion controllers (34 citations), showcasing versatility across research domains. With work spanning active sensing strategies, sampling-based optimal control, and reactive controller synthesis under partial information, Fu's cumulative contributions have earned over 160 citations, establishing him as a significant voice in formal methods-driven autonomous systems research.