On the Difficulty of Intersection Checking with Polynomial Zonotopes.

Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun

Browse the full ATVA paper archive.