@misc{indiciae407f5301d9d4,
  title = {Certifying the Nonexistence of Feasible Path Between Power System Operating Points},
  author = {Mohammad Rasoul Narimani and Katherine R. Davis and Daniel K. Molzahn},
  year = {2025},
  url = {https://arxiv.org/abs/2509.05935},
  note = {Source identifier: 2509.05935}
}