Guoxin Su
Papers
1
Total Citations
2
H-Index
1
About
Dr. Guoxin Su is a leading researcher in multiagent systems and formal methods, with a focus on integrating task allocation and planning under complex, multi-objective requirements. His most-cited work, "Multiagent Task Allocation and Planning with Multi-Objective Requirements" (2021), addresses a critical challenge in service robotics: how to coordinate multiple agents to satisfy temporally constrained tasks specified in Linear Temporal Logic (LTL). By formalizing restrictions on task sequences and balancing competing objectives, Dr. Su’s contributions enable more robust and expressive autonomous decision-making. His research bridges theoretical foundations in formal verification with practical applications in robotics and AI, demonstrating how LTL can serve as a powerful tool for high-level task specification. With 2 citations on his top paper, his work is gaining traction among researchers seeking to enhance multiagent coordination in dynamic environments. Dr. Su’s achievements highlight his ability to tackle foundational problems in multi-objective optimization and temporal reasoning, positioning him as a rising voice in the intersection of formal methods and multiagent systems.
Research Focus
Key Achievements
Top Papers
- 1