A Team Based Variant of CTL

Andreas Krebs, Arne Meier, Jonni Virtema

We introduce two variants of computation tree logic CTL based on team semantics: an asynchronous one and a synchronous one. For both variants we investigate the computational compl…