Pei-Wei Chen

Papers

Total Citations

H-Index

About

Pei-Wei Chen is a leading researcher in multi-robot systems and formal methods, with a focus on scalable task allocation and autonomous coordination. Their most-cited work, "SMT-Based Dynamic Multi-Robot Task Allocation" (2024), introduces a novel satisfiability modulo theories (SMT) framework that enables real-time, optimal assignment of tasks to robots in dynamic environments—a critical advancement for applications like warehouse logistics and disaster response. This paper has already garnered 2 citations, reflecting its early impact in a rapidly evolving field. Chen’s contributions bridge the gap between theoretical verification and practical deployment, offering provably correct solutions for complex robotic swarms. Their work is notable for integrating logical reasoning with dynamic constraints, addressing long-standing challenges in multi-agent planning. As a rising scholar, Chen’s research promises to shape the future of autonomous systems, making them a key figure for students and researchers interested in the intersection of artificial intelligence, robotics, and formal verification.