Type: LecturersCourses: Temporal logics for multi-agent systems: expressiveness and algorithmsAffiliation: LSV, CNRS and ENS CachanCountry: FranceWebsite: http://www.lsv.ens-cachan.fr/~markey/