Pubblicazioni

Giving Instructions in Linear Temporal Logic

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

Synthesis with rational environments

2016 - ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Kupferman, O.; Perelli, G.; Vardi, M. Y.

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