Research author

Enrico Tronci

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

Papers by Enrico Tronci

Jul 16, 2026
cs.AI

SMC-ES: Automated synthesis of formally verified control policies

Riccardo Curcio, Toni Mancini, Enrico Tronci

Enrico Tronci — AI Research Papers | One9Founders