Research author

Riccardo Curcio

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

Papers by Riccardo Curcio

Jul 16, 2026
cs.AI

SMC-ES: Automated synthesis of formally verified control policies

Riccardo Curcio, Toni Mancini, Enrico Tronci

Riccardo Curcio — AI Research Papers | One9Founders