TY  - RPRT
TI  - The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
AU  - Merlin Humml
AU  - Lutz Schröder
AU  - Dirk Pattinson
PY  - 2023
DO  - 10.4230/lipics.csl.2021.26
UR  - https://arxiv.org/abs/2305.18795
ID  - 2305.18795
ER  -