深度分析 TNODEV:首個整合偽驗證與迭代可達性之完整 Neural ODE 驗證流水線 隨著神經常微分方程(NeuralODE)逐漸應用於安全關鍵系統,驗證其行為成為關鍵需求。研究推出TNODEV,結合偽驗證、快速區間可達性與三種輸入集切分策略,實現完整的驗證與迭代精化流程。實驗顯示在安全集包含與分類魯棒性測試上,TNODEV超越現有單次可達性工具的精度與效率。