Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions

Didier Henrion, Jared Miller, Mohab Safey El Din

Two subsets of a given set are path-disconnected if they lie in different connected components of the larger set. Verification of path-disconnectedness is essential in proving the…