Research author

Toni Mancini

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Toni Mancini

Jul 16, 2026
cs.AI

SMC-ES: Automated synthesis of formally verified control policies

Riccardo Curcio, Toni Mancini, Enrico Tronci

Toni Mancini — AI Research Papers | One9Founders