Ertai Luo

About

Ertai Luo is a rising researcher in formal verification and control theory, whose work focuses on advancing set-based methods for analyzing complex, nonlinear systems. His primary research area centers on polynomial zonotopes—a powerful non-convex set representation used in reachability analysis of hybrid systems, robotic control, and verification of nonlinear dynamics. Luo’s key contributions address the critical challenge of intersection checking, a fundamental operation in these analyses. In his 2023 paper "On the Difficulty of Intersection Checking with Polynomial Zonotopes" (3 citations), he systematically characterized the computational hurdles of this problem, laying essential groundwork. His subsequent 2025 work, "Sparse Intersection Checking for Sparse Polynomial Zonotopes" (2 citations), introduced innovative algorithms that exploit sparsity to make intersection checking more efficient, directly enabling faster and more scalable verification of safety-critical systems. Though early in his career, Luo’s targeted contributions are already shaping how researchers approach non-convex set operations, with potential impacts on autonomous systems and cyber-physical safety. His work exemplifies the kind of foundational, method-driven research that bridges theory and practical verification challenges.

Research Focus

Key Achievements

Top Papers

1. 1
   On the Difficulty of Intersection Checking with Polynomial Zonotopes

   3 citations · 2023
2. 2
   Sparse Intersection Checking for Sparse Polynomial Zonotopes

   2 citations · 2025

Key Collaborators

Contact & Links