Skip to content

Matteo Francobaldi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

2023–2026

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAISMiLE: Provably Enforcing Global Relational Properties in Neural Networks.Matteo Francobaldi, Michele Lombardi, Andrea Lodi
2025AAAISMLE: Safe Machine Learning via Embedded Overapproximation.Matteo Francobaldi, Michele Lombardi
2023FlAIRSTinderAI: Support System for Matching AI Algorithms and Embedded Devices.Matteo Francobaldi, Allegra De Filippo, Andrea Borghesi, Nikola Pizurica, Igor Jovancevic, Tim Llewellynn, Miguel de Prado