Weijiang Hong

National University of Defense Technology

Papers

Total Citations

H-Index

About

Weijiang Hong is a researcher advancing the intersection of formal methods and autonomous systems, with a primary focus on the formal verification and synthesis of behavior trees. His most-cited work, "Formal Verification Based Synthesis for Behavior Trees" (2023), introduces a rigorous framework for automatically generating correct-by-construction behavior trees—a key component in robotics and AI decision-making. By integrating formal verification techniques into the synthesis process, Hong ensures that autonomous agents behave reliably under complex, safety-critical conditions. This contribution addresses a fundamental challenge in robotics: bridging the gap between high-level task specifications and low-level execution guarantees. While his work is still early in its citation trajectory, with 2 citations to date, it represents a growing interest in formal methods for reactive systems. Hong’s research is particularly relevant for students and engineers working on autonomous navigation, human-robot interaction, and safety-critical AI, offering a principled approach to building trustworthy behavior. His work underscores a commitment to making autonomous systems both verifiable and practical, positioning him as a rising voice in the formal methods and robotics communities.