Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"CEUR Workshop Proceedings"
"CPS"
"04b Atto di convegno in volume"
Pubblicazioni
Pubblicazioni
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems
2021 - CEUR Workshop Proceedings
Picchiami, L.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma