Zhao, W., Liu, W., Liu, Z., Wang, T. (2025). A synthesis method for zero-sum mean-payoff asynchronous probabilistic games. Scientific Reports. https://doi.org/10.1038/s41598-025-85589-9