no code implementations • 17 May 2023 • Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun
The standard method for intersection checking with polynomial zonotopes is a two-part algorithm that overapproximates a polynomial zonotope with a regular zonotope and then, if the overapproximation error is deemed too large, splits the set and recursively tries again.