@misc{indiciaee112f340d3b7,
  title = {The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies},
  author = {Merlin Humml and Lutz Schröder and Dirk Pattinson},
  year = {2023},
  doi = {10.4230/lipics.csl.2021.26},
  url = {https://arxiv.org/abs/2305.18795},
  note = {Source identifier: 2305.18795}
}