Yu‐Shan Chen

Papers

Total Citations

231

H-Index

About

Yu-Shan Chen is a leading researcher in the formal synthesis of multi-robot systems, focusing on the automatic deployment of distributed robotic teams. Her major contributions lie in bridging high-level task specifications with low-level control and communication strategies, enabling robots to autonomously interpret complex missions. Chen pioneered a computational framework that translates tasks expressed as regular expressions—such as servicing requests in dynamic environments—into provably correct control policies and communication protocols. This work, detailed in her highly cited 2011 paper (140 citations), provides a rigorous, formal approach to team coordination, ensuring reliability and efficiency in uncertain settings. Her subsequent research extended these principles to urban-like environments, addressing real-world challenges in scalability and robustness. With over 230 cumulative citations, Chen’s impact is evident in advancing the theoretical foundations of robotic task planning and control. Her achievements include developing a systematic method for automatic synthesis that reduces manual programming effort, a breakthrough for applications in search-and-rescue, environmental monitoring, and infrastructure maintenance. Chen’s work continues to inspire new directions in formal methods for robotics, making her a pivotal figure in the field.