混合單調性

深度分析

TNODEV：首款結合偽證與 CTMM 可達性的神經ODE安全驗證工具

神經ODE正被納入安全關鍵系統，驗證需求上升。TNODEV結合偽證檢測、混合單調性可達性與輸入分割，提供迭代驗證流程，支援純ODE、閉環與GNODE，安全集合可用區間或目標標籤半空間定義。實驗顯示在多項基準上較單次可達性工具更精確，預計加速AI在自駕車與工業自動化的安全驗證。