Pubblicazioni

Multi-player games with LDL goals over finite traces

2020 - INFORMATION AND COMPUTATION
Gutierrez, J.; Perelli, G.; Wooldridge, M.

Cycle detection in computation tree logic

2018 - INFORMATION AND COMPUTATION
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.

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