Temporal Logics for Multi-Agent Systems (Invited Talk).

Nicolas Markey

Browse the full MFCS paper archive.