The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies.

Merlin Gttlinger, Lutz Schrder, Dirk Pattinson

Browse the full CSL paper archive.