Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Symbolic LTLf Best-Effort Synthesis"
"Best-Effort Synthesis"
Pubblicazioni
Pubblicazioni
Symbolic LTLf Best-Effort Synthesis
2023 - Symbolic LTLf Best-Effort Synthesis
DE GIACOMO, Giuseppe
;
Parretti, Gianmarco
;
Zhu, Shufang
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
