Permutation games for the weakly aconjunctive μ -calculus - Hausmann, Daniel; Schröder, Lutz; Deifel, Hans-Peter (24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, 2018)