TY - RPRT TI - Verifying global identifiability of parametric linear ODE models is NP-hard AU - Alexey Ovchinnikov AU - Pedro Soto PY - 2026 UR - https://arxiv.org/abs/2606.00412 ID - 2606.00412 ER -