SMLE: Safe Machine Learning via Embedded Overapproximation

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Matteo Francobaldi, Michele Lombardi

Journal title: Proceedings of the AAAI Conference on Artificial Intelligence

Journal number: 39

Journal publisher: Association for the Advancement of Artificial Intelligence (AAAI)

Published year: 2025

DOI identifier: 10.1609/AAAI.V39I26.34938

ISSN: 2374-3468