11573/1724798 - 2024 -
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments Aminof, Benjamin; De Giacomo, Giuseppe; Parretti, Gianmarco; Rubin, Sasha - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Jeju; Corea del Sud)
book: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence Main Track - (978-1-956792-04-1)
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 - ()