PARRETTI, GIANMARCO
PARRETTI, GIANMARCO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.017 secondi).
Do Your Best, but Don’t Take Too Many Chances: LTLf Synthesis of Minimal Best-Effort Strategies in FOND Domains
2025 De Giacomo, Giuseppe; Parretti, Gianmarco; Santini, Elisa
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
Synthesis Under Environment Specifications for LTLf
2026 Parretti, Gianmarco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Do Your Best, but Don’t Take Too Many Chances: LTLf Synthesis of Minimal Best-Effort Strategies in FOND Domains | 2025 | De Giacomo, Giuseppe; Parretti, Gianmarco; Santini, Elisa | |
| 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 | |
| Synthesis Under Environment Specifications for LTLf | 2026 | Parretti, Gianmarco |