Pubblicazioni

Multi-player games with LDL goals over finite traces

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

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