Yushen Huang
Papers
2
Total Citations
5
H-Index
2
About
Yushen Huang is a researcher advancing the field of formal verification and reachability analysis, with a primary focus on non-convex set representations—specifically polynomial zonotopes. Their work addresses a critical bottleneck in verifying hybrid systems, nonlinear dynamics, and robotic control: the computational difficulty of intersection checking. In their 2023 paper, "On the Difficulty of Intersection Checking with Polynomial Zonotopes," Huang systematically characterizes the inherent complexity of this problem, laying foundational insights that have already garnered 3 citations. Building on this, their 2025 work, "Sparse Intersection Checking for Sparse Polynomial Zonotopes," introduces a novel algorithm that exploits sparsity to dramatically improve efficiency, earning 2 citations in its first year. By enabling faster, more scalable verification of nonlinear systems—crucial for safety-critical applications in robotics and autonomous systems—Huang’s contributions bridge theory and practice. Their research not only deepens mathematical understanding but also provides practical tools for engineers, marking them as a rising voice in formal methods and control theory.
Research Focus
Key Achievements
Top Papers
- 1On the Difficulty of Intersection Checking with Polynomial Zonotopes3 citations · 2023
- 2Sparse Intersection Checking for Sparse Polynomial Zonotopes2 citations · 2025