Papers
2
Total Citations
34
H-Index
2
About
Kun Deng’s research lies at the intersection of robotics, control theory, and formal methods, with a focus on multi-agent systems operating under uncertainty. His major contributions center on developing approximate dynamic programming approaches for persistent monitoring tasks, where teams of robots must satisfy complex temporal logic constraints in stochastic environments. Deng’s work addresses the fundamental challenge of generating optimal control policies that ensure mission-critical properties—such as repeatedly satisfying certain propositions—while accounting for probabilistic behaviors in the environment. His most cited paper (2017, 29 citations) extends this framework to multiagent settings with temporal logic specifications, demonstrating how robots can achieve optimal surveillance despite environmental randomness. This work builds on his earlier foundational paper (2012, 5 citations) that first formalized the problem of multi-agent persistent monitoring with temporal logic constraints. Deng’s contributions are particularly notable for bridging the gap between formal verification and practical robotics, enabling provably correct behavior in uncertain domains. His research has significant implications for applications ranging from environmental monitoring to search-and-rescue operations, where teams of autonomous agents must maintain persistent, reliable performance under real-world stochastic conditions.
Research Focus
Key Achievements
Top Papers
- 1
- 2