Pubblicazioni

LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications

2023 - European Conference on Multi-Agent Systems
Parretti, Gianmarco

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma