Pubblicazioni

Giving Instructions in Linear Temporal Logic

2022 - Time 2022
Gutierrez, Julian; Kraus, Sarit; Perelli, Giuseppe; Wooldridge, Michael

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