| 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
