De Giacomo, Giuseppe; Parretti, Gianmarco; Zhu, Shufang - 04b Atto di convegno in volume
congresso: European Conference of Multi-Agents Systems (Napoli)
libro: 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
congresso: 26th European Conference on Artificial Intelligence ECAI 2023 (Krakow; Poland)
libro: European Conference on Artificial Intelligence (ECAI) - ()
11573/1693769 - 2023 -
LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications Parretti, Gianmarco - 04b Atto di convegno in volume
congresso: 20th European Conference of Multi-Agents Systems (Napoli)
libro: European Conference on Multi-Agent Systems - ()