Машинско учење вођено спецификацијама (СДМЛ) је приступ у настајању који игра кључну улогу у обезбеђивању да неуронске мреже испуњавају основне захтеве за безбедност и робусност. Ова методологија је посебно значајна у доменима где последице кварова система могу бити катастрофалне, као што су аутономна вожња, здравствена заштита и ваздухопловство. Интеграцијом формалних спецификација у машинско учење