@misc{indiciae802e44ce1839,
  title = {Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions},
  author = {Didier Henrion and Jared Miller and Mohab Safey El Din},
  year = {2024},
  url = {https://arxiv.org/abs/2404.06985},
  note = {Source identifier: 2404.06985}
}