Pubblicazioni

Giving Instructions in Linear Temporal Logic

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

On the complexity of rational verification

2022 - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael

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