Uczenie maszynowe oparte na specyfikacji (SDML) to nowe podejście, które odgrywa kluczową rolę w zapewnianiu, że sieci neuronowe spełniają podstawowe wymagania w zakresie bezpieczeństwa i odporności. Metodologia ta jest szczególnie istotna w dziedzinach, w których konsekwencje awarii systemów mogą być katastrofalne, takich jak jazda autonomiczna, opieka zdrowotna i lotnictwo. Poprzez integrację formalnych specyfikacji z uczeniem maszynowym