Pubblicazioni

DEPTH LOWER BOUNDS IN STABBING PLANES FOR COMBINATORIAL PRINCIPLES∗

2024 - LOGICAL METHODS IN COMPUTER SCIENCE
Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

2024 - LOGICAL METHODS IN COMPUTER SCIENCE
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael

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