PARRETTI, GIANMARCO
PARRETTI, GIANMARCO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments
2024 Aminof, Benjamin; DE GIACOMO, Giuseppe; Parretti, Gianmarco; Rubin, Sasha
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 |
---|---|---|---|
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments | 2024 | Aminof, Benjamin; DE GIACOMO, Giuseppe; Parretti, Gianmarco; Rubin, Sasha | |
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 |