A Team Based Variant of CTL.

Andreas Krebs, Arne Meier, Jonni Virtema

Browse the full TIME paper archive.