Pubblicazioni di Parretti Gianmarco
2023
Parretti Gianmarco
LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications. European Conference on Multi-Agent Systems 2023: 514-520
DE GIACOMO Giuseppe, Parretti Gianmarco, Zhu Shufang
LTLf Best-Effort Synthesis in Nondeterministic Planning
Domains. European Conference on Artificial Intelligence (ECAI) 2023: 533-540
DE GIACOMO Giuseppe, Parretti Gianmarco, Zhu Shufang
Symbolic LTLf Best-Effort Synthesis. Symbolic LTLf Best-Effort Synthesis 2023: -