規範驅動機器學習 (SDML) 是一種新興方法，在確保神經網路滿足基本安全性和穩健性要求方面發揮關鍵作用。這種方法在系統故障可能造成災難性後果的領域尤其重要，例如自動駕駛、醫療保健和航空航太。透過將正式規格整合到機器學習中