11573/1724798 - 2024 -
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments Aminof, Benjamin; De Giacomo, Giuseppe; Parretti, Gianmarco; Rubin, Sasha - 04h Atto di convegno in rivista scientifica o di classe A
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 3232-3240 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85204302029 (0)
conference: IJCAI (Jeju; Corea del Sud)
De Giacomo, Giuseppe; Parretti, Gianmarco; Zhu, Shufang - 04b Atto di convegno in volume
conference: European Conference of Multi-Agents Systems (Napoli)
book: Symbolic LTLf Best-Effort Synthesis - ()
11573/1693772 - 2023 -
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains De Giacomo, Giuseppe; Parretti, Gianmarco; Zhu, Shufang - 04b Atto di convegno in volume
conference: European Conference on Artificial Intelligence (Krakow; Poland)
book: ECAI 2023. 26th European Conference on Artificial Intelligence September 30–October 4, 2023, Kraków, Poland. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings - (978-1-64368-436-9; 978-1-64368-437-6)
11573/1693769 - 2023 -
LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications Parretti, Gianmarco - 04b Atto di convegno in volume
conference: 20th European Conference of Multi-Agents Systems (Napoli)
book: European Conference on Multi-Agent Systems - ()