@mastersthesis{mastersthesisce9b0219,
title   = {Safety ArtISt: um método para a garantia de segurança crítica de sistemas com inteligência artificial.},
author = {Silva Neto, Antonio Vieira da and Cugnasca, Paulo Sérgio},
year = {2024},
school = {Universidade de São Paulo}
}