Mašinsko učenje vođeno specifikacijama (SDML) je pristup u nastajanju koji igra ključnu ulogu u osiguravanju da neuronske mreže ispunjavaju bitne zahtjeve sigurnosti i robusnosti. Ova metodologija je posebno značajna u domenima gdje posljedice kvarova sistema mogu biti katastrofalne, kao što su autonomna vožnja, zdravstvena zaštita i svemir. Integracijom formalnih specifikacija u mašinsko učenje