Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"CEUR Workshop Proceedings"
"AI, Formal Methods, Statistical Model Checking, Surrogate Models, Verification, Cyber-Physical Systems."
Pubblicazioni
Pubblicazioni
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification
2022 - CEUR Workshop Proceedings
Esposito, M.
;
Picchiami, L.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma