可達性分析

深度分析

TNODEV：首個整合偽驗證與迭代可達性之完整 Neural ODE 驗證流水線

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