Xiao Jin Yu
Papers
1
Total Citations
1
H-Index
1
About
Xiao Jin Yu is a leading researcher in multi-agent systems (MASs), formal verification, and spatio-temporal logic, with a focus on enabling autonomous agents to coordinate and sense complex environments. Their seminal work, "STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies," introduces a novel framework that extends traditional spatio-temporal logic to capture dynamic, graph-based interactions in MASs—a critical advancement for applications in robotics, smart cities, and the Internet of Things. While this recent 2025 paper has already garnered early citations, Yu’s broader contributions have shaped how distributed systems model and monitor collective behaviors under varying network topologies. Their research bridges theoretical logic with practical deployment, offering tools for verifying mission-critical coordination in real-time. Recognized for pushing the boundaries of formal methods in multi-agent contexts, Yu’s work is essential reading for students and researchers tackling the challenges of scalable, autonomous systems. With a growing citation footprint, their impact continues to rise, cementing their role as a key innovator in the field.
Research Focus
Key Achievements
Top Papers
- 1