Hoang Tung Dinh

Papers

Total Citations

H-Index

About

Hoang Tung Dinh’s research lies at the intersection of multi-agent systems, autonomous robotics, and formal verification, with a focus on enabling intelligent agents to operate reliably in dynamic, large-scale environments. His most cited work, “Multi-agent route planning using delegate MAS” (2016, 7 citations), addresses the challenge of continual route planning for applications like automated guided vehicles and intelligent transportation networks, proposing a decentralized approach that scales effectively under real-time constraints. This contribution is foundational for systems requiring adaptive coordination among numerous agents. Dinh further advances the field with “A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions” (2020, 3 citations), which introduces rigorous methods to ensure robotic agents behave correctly when environmental conditions deviate from expected norms—a critical step toward trustworthy autonomy. His work bridges practical deployment needs with theoretical soundness, offering tools that enhance safety and reliability in robotics and multi-agent coordination. Dinh’s research is particularly valuable for students and engineers seeking to understand how formal verification can tame the complexity of autonomous systems operating in unpredictable settings.