Pubblicazioni

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments

2024 - IJCAI
Aminof, Benjamin; DE GIACOMO, Giuseppe; Parretti, Gianmarco; Rubin, Sasha

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