Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"linear temporal logic on finite traces"
"2023"
"Symbolic LTLf 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
