Type: LecturersCourses: Temporal logics for multi-agent systems: expressiveness and algorithmsAffiliation: LIAFA, Univ. Paris 7, CNRSCountry: France