Max Robotics — Global Service Robot Directory + US Certification

About

Zhiyu Liu is a leading researcher at the intersection of robotics, control theory, and formal methods, whose work fundamentally addresses how multi-agent and swarm robotic systems can operate under complex, high-level specifications while maintaining reliable communication. His core research areas include communication-aware motion planning, swarm robotics control, and the application of temporal logic to autonomous systems. Liu’s major contributions include pioneering a mathematical framework that synthesizes motion plans for multi-agent systems from Signal Temporal Logic (STL) specifications while explicitly accounting for inter-agent communication quality—a critical bridge between formal task requirements and real-world networked constraints. His most influential work, “Communication-aware motion planning for multi-agent systems from signal temporal logic specifications” (2017, 50 citations), established a foundational approach that has shaped subsequent research. He further advanced the field with his distributed control framework for networked mobile robots (2020, 37 citations) and introduced mean field game theory to swarm control (2018, 19 citations), enabling scalable coordination of large robot collectives. Liu has also explored novel applications such as robot-assisted human crowd evacuation and cognitive robotics, where he developed a graph-based spatial-temporal logic for automated reasoning. His work consistently demonstrates how formal logic can be practically applied to real-world robotic coordination challenges.