PARRETTI, GIANMARCO
PARRETTI, GIANMARCO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications
2023 Parretti, Gianmarco
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
2023 DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang
Symbolic LTLf Best-Effort Synthesis
2023 DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications | 2023 | Parretti, Gianmarco | |
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains | 2023 | DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang | |
Symbolic LTLf Best-Effort Synthesis | 2023 | DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang |