Fei Deng

Papers

Total Citations

H-Index

About

Fei Deng is a researcher specializing in robotic swarms, formal verification, and runtime enforcement, with a focus on ensuring the correctness and reliability of decentralized multi-robot systems. Their most notable work, "Decentralized Runtime Enforcement for Robotic Swarms" (2020), addresses a critical vulnerability in swarm robotics: the challenge of guaranteeing macro-level task correctness in systems designed through bottom-up approaches that are inherently susceptible to environmental disturbances. By developing decentralized runtime enforcement mechanisms, Deng's research offers a principled framework for monitoring and correcting swarm behavior in real time, without relying on centralized control — a significant step forward for scalable and fault-tolerant swarm systems. This contribution bridges the gap between formal methods and practical robotics, an area of growing importance as autonomous systems are deployed in unpredictable real-world environments. While still accumulating citations with 4 to date, the work addresses foundational questions in swarm intelligence and autonomous systems safety that are increasingly relevant to robotics researchers, engineers, and practitioners working on collective behavior, distributed control, and system verification.