Coalition Strategy Logic: Model Checking et Completude

Davide Catta

2024-12-03 14:00:00, #SéminaireLoVe
Salle A303, LIPN