TY - RPRT TI - Certifying the Nonexistence of Feasible Path Between Power System Operating Points AU - Mohammad Rasoul Narimani AU - Katherine R. Davis AU - Daniel K. Molzahn PY - 2025 UR - https://arxiv.org/abs/2509.05935 ID - 2509.05935 ER -