We gratefully acknowledge support from
the Simons Foundation and member institutions.

Jared Miller is qualified to endorse.

Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions

Jared Miller: Is registered as an author of this paper.
Can endorse for cs.CV, cs.SY, eess.SY, math.AG, math.DS, math.OC. (why?)

Didier Henrion and Mohab Safey El Din are not registered as owners of this paper. (why?)