The Alternating-Time \mu-Calculus With Disjunctive Explicit Strategies
Preprint in arXiv (May 2023)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Preprint in arXiv (May 2023)
Book chapter (December 2021)
Preprint in arXiv (November 2020)