Verifica probabilistica delle reti neurali tramite generazione di involucri

È stato sviluppato un nuovo framework per la verifica probabilistica delle reti neurali, che calcola un intervallo garantito per le probabilità sicure identificando efficacemente sia gli involucri probabilistici sicuri che quelli non sicuri. Questo metodo impiega una strategia di suddivisione dello spazio degli stati utilizzando alberi di regressione, incorpora una tecnica di campionamento sensibile ai confini per individuare i confini di sicurezza e utilizza un raffinamento iterativo attraverso la prioritizzazione probabilistica. Questo approccio innovativo affronta la sfida di garantire la sicurezza delle reti neurali in presenza di disturbi probabilistici negli input.