Titolo | Pubblicato in | Anno |
---|---|---|
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments | IJCAI | 2024 |
Symbolic LTLf Best-Effort Synthesis | Symbolic LTLf Best-Effort Synthesis | 2023 |
LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications | European Conference on Multi-Agent Systems | 2023 |
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains | European Conference on Artificial Intelligence (ECAI) | 2023 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma