Strojové učení řízené specifikací (SDML) je nově vznikající přístup, který hraje klíčovou roli při zajišťování toho, aby neuronové sítě splňovaly základní požadavky na bezpečnost a robustnost. Tato metodika je zvláště významná v oblastech, kde mohou být následky selhání systému katastrofální, jako je autonomní řízení, zdravotnictví a letecký průmysl. Začleněním formálních specifikací do strojového učení