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).
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